Searched refs:apic_msr_read (Results 1 – 3 of 3) sorted by relevance
21 int apic_msr_read(int index, uint64_t *val);
480 ret = apic_msr_read(index, &val); in helper_rdmsr()
905 int apic_msr_read(int index, uint64_t *val) in apic_msr_read() function