sys/arch/amd64/amd64/ghcb.c

142

(ghcb_valbm_isset(expected_bm, GHCB_RBX) &&

sys/arch/amd64/amd64/ghcb.c

143

!ghcb_valbm_isset(valid_bm, GHCB_RBX)) ||

sys/arch/amd64/amd64/ghcb.c

178

case GHCB_RBX:

sys/arch/amd64/amd64/ghcb.c

221

if (ghcb_valbm_isset(gsout->valid_bitmap, GHCB_RBX))

sys/arch/amd64/amd64/ghcb.c

260

if (ghcb_valbm_isset(gsin->valid_bitmap, GHCB_RBX)) {

sys/arch/amd64/amd64/trap.c

341

ghcb_sync_val(GHCB_RBX, GHCB_SZ32, &syncin);

sys/arch/amd64/amd64/vmm_machdep.c

4402

if (ghcb_valbm_isset(expected_bm, GHCB_RBX))

sys/arch/amd64/amd64/vmm_machdep.c

4439

ghcb_valbm_set(valid_bm, GHCB_RBX);

sys/arch/amd64/amd64/vmm_machdep.c

4472

if (ghcb_valbm_isset(valid_bm, GHCB_RBX))