Searched refs:tdx_module_call (Results 1 – 1 of 1) sorted by relevance
| /linux-5.19.10/arch/x86/coco/tdx/ |
| D | tdx.c | 94 static inline void tdx_module_call(u64 fn, u64 rcx, u64 rdx, u64 r8, u64 r9, in tdx_module_call() function
116 tdx_module_call(TDX_GET_INFO, 0, 0, 0, 0, &out); in get_cc_mask()
552 tdx_module_call(TDX_GET_VEINFO, 0, 0, 0, 0, &out); in tdx_get_ve_info()
|