janestreet/core_extended — pull request #4 by avsm (2013-06-21 14:15:42+00:00)
Title: protect rtdsc with an x86-only ifdef

Fixes ARM and PPC builds of Core_extended (there are no other build problems on ARM32 aside from this one)