33 return ((ArmReadIdAA64Pfr0 () & AARCH64_PFR0_GIC) != 0);
47 return ((ArmReadIdAA64Pfr2 () & AARCH64_PFR2_GCIE) != 0);
64 return (((Mmfr2 >> 20) & 0xF) == 1) ?
TRUE :
FALSE;
79 return ((ArmReadIdAA64Mmfr1 () & AARCH64_MMFR1_VH) != 0);
94 return ((ArmReadIdAA64Dfr0 () & AARCH64_DFR0_TRBE) != 0);
110 return ((ArmReadIdAA64Dfr0 () & AARCH64_DFR0_TRACEVER) != 0);
128 Mmfr0 = ArmReadIdAA64Mmfr0 ();
130 return ((Mmfr0 & AARCH64_MMFR0_TGRAN4_MASK) == AARCH64_MMFR0_TGRAN4_52BITS);
BOOLEAN EFIAPI ArmHasGicSystemRegisters(VOID)
BOOLEAN EFIAPI ArmHasCcidx(VOID)
BOOLEAN EFIAPI ArmHasVhe(VOID)
BOOLEAN EFIAPI ArmHas52BitTgran4(VOID)
BOOLEAN EFIAPI ArmHasTrbe(VOID)
BOOLEAN EFIAPI ArmHasEte(VOID)
BOOLEAN EFIAPI ArmHasGicV5SystemRegisters(VOID)
UINTN EFIAPI ArmReadIdAA64Mmfr2(VOID)