Searched refs:icrhi (Results 1 – 1 of 1) sorted by relevance
1990 uint32_t icrhi; in lapic_ipi_raw() local2003 icrhi = dest; in lapic_ipi_raw()2005 icrhi = dest << APIC_ID_SHIFT; in lapic_ipi_raw()2006 lapic_write_icr(icrhi, icrlo); in lapic_ipi_raw()