Searched refs:restart_xdn_switch (Results 1 – 1 of 1) sorted by relevance
837 static void restart_xdn_switch(void *arg) in restart_xdn_switch() function896 on_each_cpu_mask(&info->cpumask, restart_xdn_switch, hwt, 1); in hardwall_destroy()