L3_BASE
#define L4_BASE ((pd_entry_t *)((char *)L3_BASE + L4_SLOT_PTE * NBPD_L1))
#define PDES_INITIALIZER { L2_BASE, L3_BASE, L4_BASE }