Searched refs:tdx_module_call (Results 1 – 1 of 1) sorted by relevance
| /openbmc/linux/arch/x86/coco/tdx/ |
| H A D | tdx.c | 70 static inline void tdx_module_call(u64 fn, u64 rcx, u64 rdx, u64 r8, u64 r9, in tdx_module_call() function
156 tdx_module_call(TDX_GET_INFO, 0, 0, 0, 0, &out); in tdx_parse_tdinfo()
597 tdx_module_call(TDX_GET_VEINFO, 0, 0, 0, 0, &out); in tdx_get_ve_info()
777 tdx_module_call(TDX_WR, 0, TDCS_NOTIFY_ENABLES, 0, -1ULL, NULL); in tdx_early_init()
|