SD_INIT_NAME     7269 kernel/sched.c # define SD_INIT_NAME(sd, type)		sd->name = #type
SD_INIT_NAME     7271 kernel/sched.c # define SD_INIT_NAME(sd, type)		do { } while (0)