Home
last modified time | relevance | path

Searched refs:TDCS_CONFIG_FLEXIBLE_PENDING_VE (Results 1 – 2 of 2) sorted by relevance

/linux/arch/x86/include/asm/shared/
H A Dtdx.h29 #define TDCS_CONFIG_FLEXIBLE_PENDING_VE BIT_ULL(1) macro
/linux/arch/x86/coco/tdx/
H A Dtdx.c224 if (!(config & TDCS_CONFIG_FLEXIBLE_PENDING_VE)) { in disable_sept_ve()