L1_SHIFT
#define NBPD_L1 (1UL << L1_SHIFT) /* # bytes mapped by L1 ent (4K) */
#define pl1_i(va) (((va) & L1_FRAME) >> L1_SHIFT)