Symbol: x86_intr_get_count