Searched refs:apic_msr_read (Results 1 – 4 of 4) 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
693 ret = apic_msr_read(index, &val); in simulate_rdmsr()