Symbol: PAGE_SHIFT_64K
sys/arm64/include/param.h
91
#define PAGE_SIZE_64K (1 << PAGE_SHIFT_64K)
sys/arm64/vmm/vmm_arm64.c
913
granule_shift = PAGE_SHIFT_64K;
sys/arm64/vmm/vmm_arm64.c
942
granule_shift = PAGE_SHIFT_64K;
sys/arm64/vmm/vmm_arm64.c
973
case PAGE_SHIFT_64K: