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