update_permission_bitmask
update_permission_bitmask(mmu, false);
update_permission_bitmask(context, true);