Searched refs:apic_msr_write (Results 1 – 3 of 3) sorted by relevance
22 int apic_msr_write(int index, uint64_t val);
301 ret = apic_msr_write(index, val); in helper_wrmsr()
1098 int apic_msr_write(int index, uint64_t val) in apic_msr_write() function