Searched refs:SL0_4K_L1 (Results 1 - 1 of 1) sorted by relevance
/seL4-test-master/kernel/include/arch/arm/armv/armv8-a/64/armv/ | ||
H A D | vcpu.h | 90 #define SL0_4K_L1 1 /* 4K, start at level 1 */ macro 550 vtcr_el2 |= VTCR_EL2_SL0(SL0_4K_L1); // 4KiB, start at level 1 |
Completed in 28 milliseconds