get_interrupt_counter
last_cnt = get_interrupt_counter(acpi_sci_irq, 0);
if (get_interrupt_counter(acpi_sci_irq, 0) - last_cnt < 20) {
lastcnt = get_interrupt_counter(irq, mycpuid);
if (get_interrupt_counter(irq, mycpuid) - lastcnt == 0) {
long get_interrupt_counter(int intr, int cpuid);