Symbol: r9

function parameter

Defined...

• arch/x86/coco/tdx/tdx.c:69:70-69:74: static inline void tdx_module_call(u64 fn, u64 rcx, u64 rdx, u64 r8, u64 r9,