Symbol: MSR_SEV_GHCB
sys/arch/amd64/amd64/ghcb.c
344
wrmsr(MSR_SEV_GHCB, ghcb_paddr);
sys/arch/amd64/amd64/ghcb.c
421
wrmsr(MSR_SEV_GHCB, ghcb_paddr);
sys/arch/amd64/amd64/machdep.c
1365
wrmsr(MSR_SEV_GHCB, ghcb_paddr);
sys/arch/amd64/amd64/trap.c
479
wrmsr(MSR_SEV_GHCB, ghcb_paddr);
sys/arch/amd64/amd64/vmm_machdep.c
1631
svm_setmsrbrw(vcpu, MSR_SEV_GHCB);