Searched refs:VE_GET_PORT_NUM (Results 1 - 1 of 1) sorted by path

/linux-master/arch/x86/coco/tdx/
H A Dtdx.c29 #define VE_GET_PORT_NUM(e) ((e) >> 16) macro
568 port = VE_GET_PORT_NUM(exit_qual);

Completed in 209 milliseconds