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