L0_SHIFT
(va & L0_ADDR_BITS) >> L0_SHIFT,
#define l0pde_index(v) (((vaddr_t)(v) & L0_ADDR_BITS) >> L0_SHIFT)
#define L0_SIZE (1UL << L0_SHIFT)