Symbol: ghcb_empty
sys/arch/amd64/amd64/vmm_machdep.c
4350
if (ghcb_empty(ghcb))
sys/arch/amd64/include/ghcb.h
131
int ghcb_empty(struct ghcb_sa *);