Symbol: CHECK_SYSCALL_VOID_NOT_ECAPMODE