Symbol: icu_irq_pending
sys/platform/pc64/icu/icu_var.h
45
intrmask_t icu_irq_pending(void);
sys/platform/pc64/isa/isa_intr.c
119
return icu_irq_pending();