Symbol: sgx_drv_init
arch/x86/kernel/cpu/sgx/driver.h
26
int sgx_drv_init(void);
arch/x86/kernel/cpu/sgx/main.c
1050
ret = sgx_drv_init();