Searched refs:xapic_write_reg (Results 1 – 5 of 5) sorted by relevance
34 xapic_write_reg(APIC_SPIV, val); in xapic_enable()
29 xapic_write_reg(APIC_ICR2, val >> 32); in xapic_guest_code()30 xapic_write_reg(APIC_ICR, val); in xapic_guest_code()
124 xapic_write_reg(APIC_EOI, 77); in guest_ipi_handler()164 xapic_write_reg(APIC_ICR2, icr2_val); in sender_guest_code()165 xapic_write_reg(APIC_ICR, icr_val); in sender_guest_code()
87 xapic_write_reg(APIC_LVTCMCI, CMCI_VECTOR | APIC_DM_FIXED); in ucna_injection_guest_code()130 xapic_write_reg(APIC_EOI, 0); in guest_cmci_handler()
78 static inline void xapic_write_reg(unsigned int reg, uint32_t val) in xapic_write_reg() function