Symbol: sgx_vepc_init
arch/x86/kernel/cpu/sgx/main.c
1055
if (sgx_vepc_init() && ret)
arch/x86/kernel/cpu/sgx/sgx.h
97
int __init sgx_vepc_init(void);