ret\r
\r
\r
-// Q: id_aa64pfr1_el1 not defined yet. What does this function want to access?\r
-// A: used to setup arch timer. Check if we have security extensions, permissions to set stuff.\r
-// See: ArmPkg/Library/ArmArchTimerLib/AArch64/ArmArchTimerLib.c\r
-// Not defined yet, but stick in here for now, should read all zeros.\r
-ASM_FUNC(ArmReadIdPfr1)\r
- mrs x0, id_aa64pfr1_el1 // Read ID_PFR1 Register\r
- ret\r
-\r
// VOID ArmWriteHcr(UINTN Hcr)\r
ASM_FUNC(ArmWriteHcr)\r
msr hcr_el2, x0 // Write the passed HCR value\r