Searched refs:DPCPU_ID_GET (Results 1 – 5 of 5) sorted by relevance
| /freebsd-12-stable/sys/x86/xen/ |
| D | xen_apic.c | 319 ipi_handle = DPCPU_ID_GET(to_cpu, ipi_handle); in xen_pv_lapic_ipi_vectored() 327 ipi_handle = DPCPU_ID_GET(to_cpu, ipi_handle); in xen_pv_lapic_ipi_vectored() 334 ipi_handle = DPCPU_ID_GET(to_cpu, ipi_handle); in xen_pv_lapic_ipi_vectored() 587 ipi_handle = DPCPU_ID_GET(cpu, ipi_handle); in xen_cpu_ipi_init()
|
| /freebsd-12-stable/sys/dev/xen/debug/ |
| D | debug.c | 134 xen_intr_describe(DPCPU_ID_GET(i, xendebug_handler), "d%d", i); in xendebug_attach()
|
| /freebsd-12-stable/sys/sys/ |
| D | pcpu.h | 129 #define DPCPU_ID_GET(i, n) (*DPCPU_ID_PTR(i, n)) macro
|
| D | pmckern.h | 249 #define PMC_CPU_HAS_SAMPLES(C) (__predict_false(DPCPU_ID_GET((C), pmc_sampled)))
|
| /freebsd-12-stable/sys/compat/linuxkpi/common/src/ |
| D | linux_rcu.c | 130 record = &DPCPU_ID_GET(i, linux_epoch_record[j]); in linux_rcu_runtime_init()
|