Defined in 1 files as a function:

• arch/x86/virt/vmx/tdx/tdx.c, line 1506 (as a function)

Referenced in 1 files:

• arch/x86/virt/vmx/tdx/tdx.c, line 1585

Smatch caller information: