L1_PAGE_SIZE_SHIFT
return ((va & PG_FRAME) >> L1_PAGE_SIZE_SHIFT);
#define L1_PAGE_SIZE (1UL<<L1_PAGE_SIZE_SHIFT)