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