__sgx_sanitize_pages - Linux

Symbol: __sgx_sanitize_pages

arch/x86/kernel/cpu/sgx/main.c

__sgx_sanitize_pages(&sgx_dirty_page_list);

arch/x86/kernel/cpu/sgx/main.c

WARN_ON(__sgx_sanitize_pages(&sgx_dirty_page_list));