default_send_IPI_mask_sequence_phys
.send_IPI_mask = default_send_IPI_mask_sequence_phys,
void default_send_IPI_mask_sequence_phys(const struct cpumask *mask, int vector);