Searched refs:SGI_MMCFG_IPI (Results 1 – 2 of 2) sorted by relevance
34 #define SGI_MMCFG_IPI 1 macro160 irq_enable(SGI_MMCFG_IPI); in arch_secondary_cpu_init()249 send_ipi(SGI_MMCFG_IPI, IPI_ALL_CPUS_MASK); in z_arm64_mem_cfg_ipi()308 IRQ_CONNECT(SGI_MMCFG_IPI, IRQ_DEFAULT_PRIORITY, in arch_smp_init()310 irq_enable(SGI_MMCFG_IPI); in arch_smp_init()
20 #define SGI_MMCFG_IPI 1 macro
