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