Symbol: TD_CTLS_PENDING_VE_DISABLE
arch/x86/coco/tdx/tdx.c
277
if (controls & TD_CTLS_PENDING_VE_DISABLE)
arch/x86/coco/tdx/tdx.c
285
tdg_vm_wr(TDCS_TD_CTLS, TD_CTLS_PENDING_VE_DISABLE,
arch/x86/coco/tdx/tdx.c
286
TD_CTLS_PENDING_VE_DISABLE);