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