static void
s3c2440_update_int (ARMul_State * state)
{
	ARMword requests;
	s3c2440_update_subsrcint ();
	requests = io.srcpnd & (~io.intmsk & INT_MASK_INIT);
	state->NfiqSig = (requests & io.intmod) ? LOW : HIGH;
	state->NirqSig = (requests & ~io.intmod) ? LOW : HIGH;
}
static void
s3c2440_update_int (void* arch_instance)
{
    ARMword requests;
    extern ARMul_State *state;
    assert(state != NULL);
    s3c2440_update_subsrcint ();
    requests = io.srcpnd & (~io.intmsk & INT_MASK_INIT);
    state->NfiqSig = (requests & io.intmod) ? LOW : HIGH;
    state->NirqSig = (requests & ~io.intmod) ? LOW : HIGH;
}