#include "osint.h"

/*
 * osGetHWIntr
 *
 */
void
__osGetHWIntrRoutine(OSHWIntr interrupt, s32 (**handler)(void), void **stackEnd)
{

        *handler = __osHwIntTable[interrupt].handler;
	*stackEnd = __osHwIntTable[interrupt].stackEnd;
	
}