#include "common.h"
#include "type.h"

UINT32 enter_critical_sr_save()
{
	register UINT32 __regPriMask         __asm("primask");
  	return(__regPriMask);
}

void exit_critical_sr_restore(UINT32 primask)
{
	register UINT32 __regPriMask         __asm("primask");
	__regPriMask = (primask);
}

UINT32 Read_VEC()
{
	UINT32 vec_num;
	register UINT32 _reg_IPSR __asm( "ipsr" );

	vec_num = (_reg_IPSR & 0x1FF) - 16;

	return vec_num;
}
