/* if the register index is invalid or unsupported in current APIC mode, then ASSERT. */
VOID EFIAPI WriteLocalApicReg(IN UINTN MmioOffset, IN UINT32 Value)
/* if the register index is invalid or unsupported in current APIC mode, then ASSERT. */
VOID EFIAPI WriteLocalApicReg(IN UINTN MmioOffset, IN UINT32 Value)
{
  ASSERT ((MmioOffset & 0xf) == 0);
  ASSERT (GetApicMode () == LOCAL_APIC_MODE_XAPIC);
  MmioWrite32 (GetLocalApicBaseAddress () + MmioOffset, Value);
}