Symbol: syscall_get_return_value