Searched defs:sgx_vepc_init (Results 1 – 2 of 2) sorted by relevance
| /linux/arch/x86/kernel/cpu/sgx/ | ||
| H A D | sgx.h | 99 static inline int __init sgx_vepc_init(void) in sgx_vepc_init() function |
| H A D | virt.c | 308 int __init sgx_vepc_init(void) in sgx_vepc_init() function |