Symbol: r13

function parameter

Defined...

• arch/x86/coco/tdx/tdx.c:52:51-52:55: static inline u64 _tdx_hypercall(u64 fn, u64 r12, u64 r13, u64 r14, u64 r15)