#include "negated_errno.h"

static void
get_error(struct tcb *tcp, const bool check_errno)
{
	if (check_errno && is_negated_errno(avr32_regs.r12)) {
		tcp->u_rval = -1;
		tcp->u_error = -avr32_regs.r12;
	} else {
		tcp->u_rval = avr32_regs.r12;
	}
}