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