/* Completely turn off the uart. No more interrupts should be generated
or anything. Called by uart_close(). */
void uart_hw_disable(PUART_INFO uinfo) {
KS_INTERRUPT_CONTEXT sp; /* We'll be push/popping interrupts */
sp = ks_splx( );
ks_spl( sp );
uinfo = uinfo;
while ( 1 );
}
/*----------------------------------------------------------------------*
rtp_irq_pop
*----------------------------------------------------------------------*/
void rtp_irq_pop (RTP_HANDLE previousLevel)
{
ks_spl((KS_INTERRUPT_CONTEXT)previousLevel);
}