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_wr()

Type Parameter Key Value
PARAM_VALUE 0 field 1229482711157047319
PARAM_VALUE 1 value 1
PARAM_VALUE 2 mask 1
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 field 1229482711157047319
PARAM_VALUE 1 value 2
PARAM_VALUE 2 mask 2
NOCHECK_CALL

arch/x86/coco/tdx/tdx.c reduce_unnecessary_ve() -> tdg_vm_wr()

Type Parameter Key Value
PARAM_VALUE 0 field 1229482711157047319
PARAM_VALUE 1 value 8
PARAM_VALUE 2 mask 8

arch/x86/coco/tdx/tdx.c tdx_setup() -> tdg_vm_wr()

Type Parameter Key Value
PARAM_VALUE 0 field 10448351135499550736
PARAM_VALUE 1 value 0
PARAM_VALUE 2 mask u64max
NOCHECK_CALL