/* Get the value of the local APIC version register. */
UINT32 EFIAPI GetApicVersion(VOID)
/* Get the value of the local APIC version register. */
UINT32 EFIAPI GetApicVersion(VOID)
{
  return ReadLocalApicReg (XAPIC_VERSION_OFFSET);
}