LXR coreboot-v2/util/romcc/tests/simple

   1static void hlt(void) 
   2{
   3        __builtin_hlt();
   4}
   5
   6typedef __builtin_msr_t msr_t;
   7
   8static msr_t rdmsr(unsigned long index)
   9{
  10        return __builtin_rdmsr(index);
  11}
  12
  13static void wrmsr(unsigned long index, msr_t msr)
  14{
  15        __builtin_wrmsr(index, msr.lo, msr.hi);
  16}
  17
  18static void main(void)
  19{
  20        msr_t msr;
  21        msr = rdmsr(0x1234);
  22        msr.lo &= ~(1<<5);
  23        wrmsr(0x1234, msr);
  24}
  25