Home
last modified time | relevance | path

Searched refs:TCR_TG1_4KB (Results 1 – 2 of 2) sorted by relevance

/device/linaro/bootloader/edk2/ArmPkg/Include/Chipset/
DAArch64Mmu.h111 #define TCR_TG1_4KB (2 << 30) macro
/device/linaro/bootloader/edk2/ArmPkg/Library/ArmLib/AArch64/
DAArch64Mmu.c632 TCR = T0SZ | TCR_TG0_4KB | TCR_TG1_4KB | TCR_EPD1; in ArmConfigureMmu()