1typedef __builtin_msr_t msr_t; 2 3static msr_t rdmsr(unsigned long index) 4{ 5 return __builtin_rdmsr(index); 6} 7 8static void main(void) 9{ 10 msr_t msr; 11 msr = rdmsr(0x12345678); 12} 13 14