ghcb_valbm_set
ghcb_valbm_set(gs->valid_bitmap, type);
ghcb_valbm_set(expected_bm, GHCB_SW_EXITCODE);
ghcb_valbm_set(expected_bm, GHCB_SW_EXITINFO1);
ghcb_valbm_set(expected_bm, GHCB_SW_EXITINFO2);
ghcb_valbm_set(expected_bm, GHCB_RAX);
ghcb_valbm_set(expected_bm, GHCB_RCX);
ghcb_valbm_set(expected_bm, GHCB_RAX);
ghcb_valbm_set(expected_bm, GHCB_RAX);
ghcb_valbm_set(expected_bm, GHCB_RCX);
ghcb_valbm_set(expected_bm, GHCB_RDX);
ghcb_valbm_set(expected_bm, GHCB_RCX);
ghcb_valbm_set(valid_bm, GHCB_RAX);
ghcb_valbm_set(valid_bm, GHCB_RBX);
ghcb_valbm_set(valid_bm, GHCB_RCX);
ghcb_valbm_set(valid_bm, GHCB_RDX);
ghcb_valbm_set(valid_bm, GHCB_RAX);
ghcb_valbm_set(valid_bm, GHCB_RAX);
ghcb_valbm_set(valid_bm, GHCB_RDX);
ghcb_valbm_set(valid_bm, GHCB_SW_EXITINFO1);
ghcb_valbm_set(valid_bm, GHCB_SW_EXITINFO2);
int ghcb_valbm_set(uint8_t *, int);