Symbol: PAGE_SHIFT_16K
sys/arm64/include/param.h
88
#define PAGE_SIZE_16K (1 << PAGE_SHIFT_16K)
sys/arm64/vmm/vmm_arm64.c
892
granule_shift = PAGE_SHIFT_16K;
sys/arm64/vmm/vmm_arm64.c
921
granule_shift = PAGE_SHIFT_16K;
sys/arm64/vmm/vmm_arm64.c
938
case PAGE_SHIFT_16K: