Symbol: tdx_get_ve_info
arch/x86/coco/tdx/tdx.c
769
tdx_get_ve_info(&ve);
arch/x86/include/asm/tdx.h
72
void tdx_get_ve_info(struct ve_info *ve);
arch/x86/kernel/traps.c
1632
tdx_get_ve_info(&ve);