INTERRUPT_CPU_FIELD
tmp_mondo_vec = (cpu_id << INTERRUPT_CPU_FIELD) | INTERRUPT_VALID;
tmp_mondo_vec = (cpu_id << INTERRUPT_CPU_FIELD) | INTERRUPT_VALID;
tmp_mondo_vec = (cpu_id << INTERRUPT_CPU_FIELD) | INTERRUPT_VALID;
tmp_mondo_vec = (cpu_id << INTERRUPT_CPU_FIELD) |
mondo_vec = (cpu_id << INTERRUPT_CPU_FIELD) | INTERRUPT_VALID;