Searched refs:kill_userspace_mm (Results 1 – 1 of 1) sorted by relevance
297 int kill_userspace_mm[NR_CPUS]; variable391 if (kill_userspace_mm[0]) in userspace()731 kill_userspace_mm[0] = mm_idp->kill; in __switch_mm()