Searched refs:icrhi (Results 1 – 1 of 1) sorted by relevance
2009 uint32_t icrhi; in native_lapic_ipi_raw() local2022 icrhi = dest; in native_lapic_ipi_raw()2024 icrhi = dest << APIC_ID_SHIFT; in native_lapic_ipi_raw()2025 lapic_write_icr(icrhi, icrlo); in native_lapic_ipi_raw()