Symbol: GHCB_XCR0
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)) ||