Defined in 1 files as a prototype:

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

Defined in 2 files as a function:

• arch/x86/coco/tdx/tdx.c, line 1112 (as a function)
• arch/x86/include/asm/tdx.h, line 91 (as a function)

Referenced in 1 files:

• arch/x86/kernel/head64.c, line 279

Smatch caller information: