sd_has_rps_ipi_waiting 5858 net/core/dev.c 	if (sd_has_rps_ipi_waiting(sd)) {
sd_has_rps_ipi_waiting 6369 net/core/dev.c 			if (!sd_has_rps_ipi_waiting(sd) && list_empty(&repoll))