Defined in 1 files as a function:

• drivers/virt/coco/tdx-guest/tdx-guest.c, line 125 (as a function)

Referenced in 1 files:

• drivers/virt/coco/tdx-guest/tdx-guest.c, line 412

Smatch caller information: