Searched refs:DPCPU_ID_GET (Results 1 – 5 of 5) sorted by relevance
| /freebsd-13.1/sys/x86/xen/ |
| H A D | xen_apic.c | 332 ipi_handle = DPCPU_ID_GET(to_cpu, ipi_handle); in xen_pv_lapic_ipi_vectored() 340 ipi_handle = DPCPU_ID_GET(to_cpu, ipi_handle); in xen_pv_lapic_ipi_vectored() 347 ipi_handle = DPCPU_ID_GET(to_cpu, ipi_handle); in xen_pv_lapic_ipi_vectored() 555 ipi_handle = DPCPU_ID_GET(cpu, ipi_handle); in xen_cpu_ipi_init()
|
| /freebsd-13.1/sys/dev/xen/debug/ |
| H A D | debug.c | 136 xen_intr_describe(DPCPU_ID_GET(i, xendebug_handler), "d%d", i); in xendebug_attach()
|
| /freebsd-13.1/sys/sys/ |
| H A D | pcpu.h | 131 #define DPCPU_ID_GET(i, n) (*DPCPU_ID_PTR(i, n)) macro
|
| H A D | pmckern.h | 249 #define PMC_CPU_HAS_SAMPLES(C) (__predict_false(DPCPU_ID_GET((C), pmc_sampled)))
|
| /freebsd-13.1/sys/compat/linuxkpi/common/src/ |
| H A D | linux_rcu.c | 133 record = &DPCPU_ID_GET(i, linux_epoch_record[j]); in linux_rcu_runtime_init()
|