Searched refs:user_set (Results 1 – 1 of 1) sorted by relevance
401 static int user_set; /* true if set in /etc/system */ in init_pages_pp_maximum() local407 user_set = 1; in init_pages_pp_maximum()435 if (user_set) in init_pages_pp_maximum()