Searched refs:init_tdx_module (Results 1 – 1 of 1) sorted by relevance
1153 static __init int init_tdx_module(void) in init_tdx_module() 1264 ret = init_tdx_module(); in paddr_is_tdx_private() 1079 static int init_tdx_module(void) init_tdx_module() function