Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/coco/tdx/tdx.c disable_sept_ve() -> tdg_vm_rd()

Type Parameter Key Value
PARAM_VALUE 0 field 1229482711157047318
PARAM_VALUE 1 value 4330060173048954880
NOCHECK_CALL

arch/x86/coco/tdx/tdx.c disable_sept_ve() -> tdg_vm_rd()

Type Parameter Key Value
PARAM_VALUE 0 field 1229482711157047319
PARAM_VALUE 1 value 2968330334139924480
NOCHECK_CALL

arch/x86/coco/tdx/tdx.c enable_cpu_topology_enumeration() -> tdg_vm_rd()

Type Parameter Key Value
PARAM_VALUE 0 field 10448351135499550745
PARAM_VALUE 1 value 6959480071495258112
NOCHECK_CALL

arch/x86/coco/tdx/tdx.c tdx_announce() -> tdg_vm_rd()

Type Parameter Key Value
PARAM_VALUE 0 field 1229482711157047319
PARAM_VALUE 1 value 2090189160300892160
NOCHECK_CALL