Symbol: SYSCALL_RET