L1_C_PROTO
l1pd = L1_C_PROTO | l2b->l2b_phys | l1_c_pxn;
*pl1pd = L1_C_PROTO | l2b->l2b_phys;
pde[slot + 0] = L1_C_PROTO | (l2pv->pv_pa + 0x000);
pde[slot + 1] = L1_C_PROTO | (l2pv->pv_pa + 0x400);
pde[slot + 2] = L1_C_PROTO | (l2pv->pv_pa + 0x800);
pde[slot + 3] = L1_C_PROTO | (l2pv->pv_pa + 0xc00);