Searched refs:restart_udn_switch (Results 1 – 1 of 1) sorted by relevance
594 static void restart_udn_switch(void *ignored) in restart_udn_switch() function648 on_each_cpu_mask(&mask, restart_udn_switch, NULL, 1); in hardwall_destroy()