Searched refs:IPI_NUM_FLUSH_TLB (Results 1 – 2 of 2) sorted by relevance
23 pub const IPI_NUM_FLUSH_TLB: IrqNumber = IrqNumber::new(201); constant29 FlushTLB = IPI_NUM_FLUSH_TLB.data(),47 ArchIpiKind::FlushTLB => IPI_NUM_FLUSH_TLB.data() as u8, in from()231 do_init_irq_handler(IPI_NUM_FLUSH_TLB); in arch_ipi_handler_init()255 IPI_NUM_FLUSH_TLB => { in handle()
16 ipi::{arch_ipi_handler_init, send_ipi, IPI_NUM_FLUSH_TLB, IPI_NUM_KICK_CPU},263 ioapic_init(&[APIC_TIMER_IRQ_NUM, IPI_NUM_KICK_CPU, IPI_NUM_FLUSH_TLB]); in arch_early_irq_init()