1 #include <lunaix/types.h>
3 #include "asm/x86_ivs.h"
4 #include "asm/x86_cpu.h"
7 cpu_rdmsr(u32_t msr_idx, u32_t* reg_high, u32_t* reg_low)
10 asm volatile("rdmsr" : "=d"(h), "=a"(l) : "c"(msr_idx));
17 cpu_wrmsr(u32_t msr_idx, u32_t reg_high, u32_t reg_low)
19 asm volatile("wrmsr" : : "d"(reg_high), "a"(reg_low), "c"(msr_idx));
25 asm("int %0" ::"i"(LUNAIX_SCHED));