Searched refs:x2apic_write_reg_fault (Results 1 – 2 of 2) sorted by relevance
110 static inline void x2apic_write_reg_fault(unsigned int reg, uint64_t value) in x2apic_write_reg_fault() function
50 x2apic_write_reg_fault(APIC_ICR, val); in x2apic_guest_code()