alpha: Add syscall_get_return_value()