dorder_ipi_ack 42 kernel/arch/mips32/include/arch/mach/msim/dorder.h extern void dorder_ipi_ack(uint32_t); dorder_ipi_ack 61 kernel/arch/mips32/src/mach/msim/dorder.c dorder_ipi_ack(1 << dorder_cpuid());