Defined in 1 files as a prototype:

• arch/x86/include/asm/shared/tdx.h, line 176 (as a prototype)

Defined in 2 files as a function:

• arch/x86/boot/compressed/tdx.c, line 14 (as a function)
• arch/x86/coco/tdx/tdx.c, line 47 (as a function)

Referenced in 2 files:

• arch/x86/coco/tdx/tdx-shared.c, line 87
• tools/objtool/noreturns.h, line 15

Smatch caller information: