Symbol: sd_has_rps_ipi_waiting
net/core/dev.c
6632
if (sd_has_rps_ipi_waiting(sd)) {
net/core/dev.c
7835
if (sd_has_rps_ipi_waiting(sd)) {
net/core/dev.c
7922
if (!sd_has_rps_ipi_waiting(sd))