L4_SHIFT
#define NBPD_L4 (1UL << L4_SHIFT) /* # bytes mapped by L4 ent (512G) */
#define pl4_i(va) (((va) & L4_FRAME) >> L4_SHIFT)