BPP_RX
wimgxpp = (flags & _PAGE_COHERENT) | (_PAGE_EXEC ? BPP_RX : BPP_XX);
bat[1].batl = (bat[1].batl & ~BPP_RW) | BPP_RX;
wimgxpp |= (flags & _PAGE_WRITE) ? BPP_RW : BPP_RX;
if (lower & BPP_RX)