Symbol: ghcb_valid
sys/arch/amd64/amd64/vmm_machdep.c
4352
if (!ghcb_valid(ghcb))
sys/arch/amd64/include/ghcb.h
130
int ghcb_valid(struct ghcb_sa *);