PAGE_SHIFT_16K
#define PAGE_SIZE_16K (1 << PAGE_SHIFT_16K)
granule_shift = PAGE_SHIFT_16K;
case PAGE_SHIFT_16K: