sys/arch/amd64/amd64/ghcb.c

146

(ghcb_valbm_isset(expected_bm, GHCB_RDX) &&

sys/arch/amd64/amd64/ghcb.c

147

!ghcb_valbm_isset(valid_bm, GHCB_RDX)) ||

sys/arch/amd64/amd64/ghcb.c

184

case GHCB_RDX:

sys/arch/amd64/amd64/ghcb.c

225

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

sys/arch/amd64/amd64/ghcb.c

268

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

sys/arch/amd64/amd64/trap.c

343

ghcb_sync_val(GHCB_RDX, GHCB_SZ32, &syncin);

sys/arch/amd64/amd64/trap.c

356

ghcb_sync_val(GHCB_RDX, GHCB_SZ32, &syncout);

sys/arch/amd64/amd64/trap.c

362

ghcb_sync_val(GHCB_RDX, GHCB_SZ32, &syncin);

sys/arch/amd64/amd64/vmm_machdep.c

4381

ghcb_valbm_set(expected_bm, GHCB_RDX);

sys/arch/amd64/amd64/vmm_machdep.c

4406

if (ghcb_valbm_isset(expected_bm, GHCB_RDX))

sys/arch/amd64/amd64/vmm_machdep.c

4441

ghcb_valbm_set(valid_bm, GHCB_RDX);

sys/arch/amd64/amd64/vmm_machdep.c

4457

ghcb_valbm_set(valid_bm, GHCB_RDX);

sys/arch/amd64/amd64/vmm_machdep.c

4476

if (ghcb_valbm_isset(valid_bm, GHCB_RDX))