N=INTERRUPT_NUMBER;
INTERRUPT_BIT_MAP_PTR=TSS_BASE->IO_PERMISSION_BASE-32;
IF INTERRUPT_BIT_MAP_PTR->BIT_NUMBER[N]
	IF (IOPL<3)
	   #GP(0);
	ELSE
	   GOTO INT-GROM-V86-MODE;
  ELSE
	INVOKE_REAL_MODE_STYLE_INTERRUPT_FROM_Ev86_TASK(N);