Searched refs:IcrHigh (Results 1 – 2 of 2) sorted by relevance
186 UINT32 IcrHigh; in SendIpi() local197 IcrHigh = ReadLocalApicReg (XAPIC_ICR_HIGH_OFFSET); in SendIpi()223 WriteLocalApicReg (XAPIC_ICR_HIGH_OFFSET, IcrHigh); in SendIpi()
227 UINT32 IcrHigh; in SendIpi() local246 IcrHigh = MmioRead32 (LocalApciBaseAddress + XAPIC_ICR_HIGH_OFFSET); in SendIpi()272 MmioWrite32 (LocalApciBaseAddress + XAPIC_ICR_HIGH_OFFSET, IcrHigh); in SendIpi()