IMR_TID_SHIFT
mondo_vector = cpu0.cpu_id << IMR_TID_SHIFT;
cpu_id << IMR_TID_SHIFT;
if (((*mondo_vec_reg & IMR_TID) >> IMR_TID_SHIFT) == cpu_id) {