vm_reserv_level_iffullpop
vm_reserv_level_iffullpop(m) == 0 &&
vm_reserv_level_iffullpop(m) == 0)
vm_reserv_level_iffullpop(m) == 0) {
vm_reserv_level_iffullpop(m) == 0)
vm_reserv_level_iffullpop(m) == 1) {
(full_lvl = vm_reserv_level_iffullpop(m)) >= 0 &&
(full_lvl = vm_reserv_level_iffullpop(m)) >= 0 &&
vm_reserv_level_iffullpop(m) == 0)
vm_reserv_level_iffullpop(m) == 0) {
vm_reserv_level_iffullpop(m) == 0)
vm_reserv_level_iffullpop(m) == 0 &&
vm_reserv_level_iffullpop(m) == 0)
vm_reserv_level_iffullpop(m) == 0) {
(level = vm_reserv_level_iffullpop(m)) >= 0) {
int vm_reserv_level_iffullpop(vm_page_t m);