Symbol: VCPU_REGS_CR2
sys/arch/amd64/amd64/vmm_machdep.c
1083
crs[VCPU_REGS_CR2] = vcpu->vc_gueststate.vg_cr2;
sys/arch/amd64/amd64/vmm_machdep.c
1240
crs[VCPU_REGS_CR2] = vcpu->vc_gueststate.vg_cr2;
sys/arch/amd64/amd64/vmm_machdep.c
1513
vcpu->vc_gueststate.vg_cr2 = crs[VCPU_REGS_CR2];