update_permission_bitmask
update_permission_bitmask(mmu, mmu == &vcpu->arch.guest_mmu, false);
update_permission_bitmask(context, true, true);