Symbol: SGX_NR_TO_SCAN