Searched refs:z_x86_tlb_ipi (Results 1 – 3 of 3) sorted by relevance
29 x86_irq_funcs[CONFIG_TLB_IPI_VECTOR - IV_IRQS] = z_x86_tlb_ipi; in arch_smp_init()
228 void z_x86_tlb_ipi(const void *arg);
408 void z_x86_tlb_ipi(const void *arg) in z_x86_tlb_ipi() function
