sys/arch/amd64/amd64/ghcb.c

125

return (ghcb_valbm_isset(bm, GHCB_SW_EXITCODE) &&

sys/arch/amd64/amd64/ghcb.c

126

ghcb_valbm_isset(bm, GHCB_SW_EXITINFO1) &&

sys/arch/amd64/amd64/ghcb.c

127

ghcb_valbm_isset(bm, GHCB_SW_EXITINFO2));

sys/arch/amd64/amd64/ghcb.c

140

return ((ghcb_valbm_isset(expected_bm, GHCB_RAX) &&

sys/arch/amd64/amd64/ghcb.c

141

!ghcb_valbm_isset(valid_bm, GHCB_RAX)) ||

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

144

(ghcb_valbm_isset(expected_bm, GHCB_RCX) &&

sys/arch/amd64/amd64/ghcb.c

145

!ghcb_valbm_isset(valid_bm, GHCB_RCX)) ||

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

148

(ghcb_valbm_isset(expected_bm, GHCB_SW_EXITCODE) &&

sys/arch/amd64/amd64/ghcb.c

149

!ghcb_valbm_isset(valid_bm, GHCB_SW_EXITCODE)) ||

sys/arch/amd64/amd64/ghcb.c

150

(ghcb_valbm_isset(expected_bm, GHCB_SW_EXITINFO1) &&

sys/arch/amd64/amd64/ghcb.c

151

!ghcb_valbm_isset(valid_bm, GHCB_SW_EXITINFO1)) ||

sys/arch/amd64/amd64/ghcb.c

152

(ghcb_valbm_isset(expected_bm, GHCB_SW_EXITINFO2) &&

sys/arch/amd64/amd64/ghcb.c

153

!ghcb_valbm_isset(valid_bm, GHCB_SW_EXITINFO2)) ||

sys/arch/amd64/amd64/ghcb.c

154

(ghcb_valbm_isset(expected_bm, GHCB_SW_SCRATCH) &&

sys/arch/amd64/amd64/ghcb.c

155

!ghcb_valbm_isset(valid_bm, GHCB_SW_SCRATCH)) ||

sys/arch/amd64/amd64/ghcb.c

156

(ghcb_valbm_isset(expected_bm, GHCB_XCR0) &&

sys/arch/amd64/amd64/ghcb.c

157

!ghcb_valbm_isset(valid_bm, GHCB_XCR0)) ||

sys/arch/amd64/amd64/ghcb.c

158

(ghcb_valbm_isset(expected_bm, GHCB_XSS) &&

sys/arch/amd64/amd64/ghcb.c

159

!ghcb_valbm_isset(valid_bm, GHCB_XSS)));

sys/arch/amd64/amd64/ghcb.c

219

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

sys/arch/amd64/amd64/ghcb.c

221

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

sys/arch/amd64/amd64/ghcb.c

223

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

sys/arch/amd64/amd64/ghcb.c

225

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

sys/arch/amd64/amd64/ghcb.c

228

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

sys/arch/amd64/amd64/ghcb.c

230

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

sys/arch/amd64/amd64/ghcb.c

232

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

sys/arch/amd64/amd64/ghcb.c

234

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

sys/arch/amd64/amd64/ghcb.c

256

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

sys/arch/amd64/amd64/ghcb.c

260

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

sys/arch/amd64/amd64/ghcb.c

264

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

sys/arch/amd64/amd64/ghcb.c

268

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

sys/arch/amd64/amd64/vmm_machdep.c

4400

if (ghcb_valbm_isset(expected_bm, GHCB_RAX))

sys/arch/amd64/amd64/vmm_machdep.c

4402

if (ghcb_valbm_isset(expected_bm, GHCB_RBX))

sys/arch/amd64/amd64/vmm_machdep.c

4404

if (ghcb_valbm_isset(expected_bm, GHCB_RCX))

sys/arch/amd64/amd64/vmm_machdep.c

4406

if (ghcb_valbm_isset(expected_bm, GHCB_RDX))

sys/arch/amd64/amd64/vmm_machdep.c

4470

if (ghcb_valbm_isset(valid_bm, GHCB_RAX))

sys/arch/amd64/amd64/vmm_machdep.c

4472

if (ghcb_valbm_isset(valid_bm, GHCB_RBX))

sys/arch/amd64/amd64/vmm_machdep.c

4474

if (ghcb_valbm_isset(valid_bm, GHCB_RCX))

sys/arch/amd64/amd64/vmm_machdep.c

4476

if (ghcb_valbm_isset(valid_bm, GHCB_RDX))

sys/arch/amd64/amd64/vmm_machdep.c

4479

if (ghcb_valbm_isset(valid_bm, GHCB_SW_EXITINFO1))

sys/arch/amd64/amd64/vmm_machdep.c

4481

if (ghcb_valbm_isset(valid_bm, GHCB_SW_EXITINFO2))

sys/arch/amd64/include/ghcb.h

128

int ghcb_valbm_isset(uint8_t *, int);