Searched refs:IcrHigh (Results 1 – 2 of 2) sorted by relevance
187 UINT32 IcrHigh; in SendIpi() local198 IcrHigh = ReadLocalApicReg (XAPIC_ICR_HIGH_OFFSET); in SendIpi()224 WriteLocalApicReg (XAPIC_ICR_HIGH_OFFSET, IcrHigh); in SendIpi()
228 UINT32 IcrHigh; in SendIpi() local247 IcrHigh = MmioRead32 (LocalApciBaseAddress + XAPIC_ICR_HIGH_OFFSET); in SendIpi()273 MmioWrite32 (LocalApciBaseAddress + XAPIC_ICR_HIGH_OFFSET, IcrHigh); in SendIpi()