vm_laundry_count
(vm_active_count() + vm_inactive_count() + vm_laundry_count()) *
u_int vm_laundry_count(void);
vm_laundry_count);
db_printf("vm_cnt.v_laundry_count: %d\n", vm_laundry_count());