Searched refs:ci_active_ipis (Results 1 – 4 of 4) sorted by relevance
144 uint64_t ci_active_ipis; /* bitmask of IPIs being serviced */ member
991 atomic_or_64(&ci->ci_active_ipis, ipi_mask); in rmixl_ipi_intr()996 atomic_and_64(&ci->ci_active_ipis, ~ipi_mask); in rmixl_ipi_intr()
484 printf("ci_active_ipis %#"PRIx64"\n", ci->ci_active_ipis); in rmixl_cpuinfo_print()
874 ci->ci_active_ipis, ci->ci_request_ipis); in cpu_debug_dump()