Library mcertikos.trap.TTrapArgCSource2

***********************************************************************
*                                                                     *
*            The CertiKOS Certified Kit Operating System              *
*                                                                     *
*                   The FLINT Group, Yale University                  *
*                                                                     *
*  Copyright The FLINT Group, Yale University.  All rights reserved.  *
*  This file is distributed under the terms of the Yale University    *
*  Non-Commercial License Agreement.                                  *
*                                                                     *
*********************************************************************** 

void
sys_getc()
{
	int x;

	serial_intr_disable();
	x = cons_buf_read();
	serial_intr_enable();

	uctx_set_retval1(x);
	uctx_set_errno(E_SUCC);
}

void
sys_putc (void)
{
	unsigned int c;

	c = uctx_arg2 ();

	serial_intr_disable();
	serial_putc(c);
	serial_intr_enable();

	uctx_set_errno (E_SUCC);
}