diff --git a/repos/ports/src/virtualbox6/sup_vcpu.cc b/repos/ports/src/virtualbox6/sup_vcpu.cc index 6075c11868..3e262a527f 100644 --- a/repos/ports/src/virtualbox6/sup_vcpu.cc +++ b/repos/ports/src/virtualbox6/sup_vcpu.cc @@ -459,7 +459,7 @@ typename Sup::Vcpu_impl::Current_state Sup::Vcpu_impl::_handle_npt_ept(VBO { rc = VINF_EM_RAW_EMULATE_INSTR; - RTGCPHYS const GCPhys = RT_ALIGN(_vcpu.state().qual_secondary.value(), X86_PAGE_SIZE); + RTGCPHYS const GCPhys = PAGE_ADDRESS(_vcpu.state().qual_secondary.value()); PPGMRAMRANGE const pRam = pgmPhysGetRangeAtOrAbove(&_vm, GCPhys); if (!pRam)