uvm_tree_size_chk
void uvm_tree_size_chk(struct vm_map*, char*, int);
uvm_tree_size_chk(map, file, line);
uvm_tree_size_chk(map, file, line);
uvm_tree_size_chk(map, file, line);
uvm_tree_size_chk(map, file, line);
/* XXX: RO */ uvm_tree_size_chk(map, file, line);
uvm_tree_size_chk(map, file, line);
uvm_tree_size_chk(map, file, line);