util/romcc/tests/simple_test35.c

   1 static void main(void)
   2 {
   3         __builtin_msr_t msr;
   4         msr = __builtin_rdmsr(0xC001001A);
   5         while(__builtin_inb(0x3fd))
   6                 ;
   7         __builtin_outb(msr.hi, 0x3f8);
   8
   9 }