112 	vm32_size_ut            size32,  in vm32_vm_allocate()  argument
120 	size    = vm_sanitize_expand_size_to_64(size32);  in vm32_vm_allocate()
131 	vm32_size_ut            size32)  in vm32_vm_deallocate()  argument
137 	if (vm_sanitize_add_overflow(start32, size32, &discard)) {  in vm32_vm_deallocate()
142 	size = vm_sanitize_expand_size_to_64(size32);  in vm32_vm_deallocate()
151 	vm32_size_ut            size32,  in vm32_vm_inherit()  argument
159 	    vm_sanitize_add_overflow(start32, size32, &discard)) {  in vm32_vm_inherit()
164 	size = vm_sanitize_expand_size_to_64(size32);  in vm32_vm_inherit()
176 	vm32_size_ut            size32,  in vm32_vm_protect()  argument
185 	    vm_sanitize_add_overflow(start32, size32, &discard)) {  in vm32_vm_protect()
190 	size = vm_sanitize_expand_size_to_64(size32);  in vm32_vm_protect()
202 	vm32_size_ut            size32,  in vm32_vm_machine_attribute()  argument
211 	    vm_sanitize_add_overflow(addr32, size32, &discard)) {  in vm32_vm_machine_attribute()
216 	size = vm_sanitize_expand_size_to_64(size32);  in vm32_vm_machine_attribute()
225 	vm32_size_ut            size32,  in vm32_vm_read()  argument
233 	size = vm_sanitize_expand_size_to_64(size32);  in vm32_vm_read()
267 	vm32_size_ut            size32,  in vm32_vm_read_overwrite()  argument
276 	size = vm_sanitize_expand_size_to_64(size32);  in vm32_vm_read_overwrite()
303 	vm32_size_ut            size32,  in vm32_vm_copy()  argument
310 	size     = vm_sanitize_expand_size_to_64(size32);  in vm32_vm_copy()
320 	vm32_size_ut            size32,  in vm32_vm_map_64()  argument
335 	size = vm_sanitize_expand_size_to_64(size32);  in vm32_vm_map_64()
372 	vm32_size_ut            size32,  in vm32_vm_remap()  argument
387 	size = vm_sanitize_expand_size_to_64(size32);  in vm32_vm_remap()
404 	vm32_size_ut            size32,  in vm32_vm_msync()  argument
411 	size = vm_sanitize_expand_size_to_64(size32);  in vm32_vm_msync()
419 	vm32_size_ut             size32,  in vm32_vm_behavior_set()  argument
426 	if (vm_sanitize_add_overflow(start32, size32, &discard)) {  in vm32_vm_behavior_set()
431 	size = vm_sanitize_expand_size_to_64(size32);  in vm32_vm_behavior_set()
454 	vm32_size_ut           *size32,         /* OUT */  in vm32_vm_region_64()  argument
465 	size = vm_sanitize_expand_size_to_64(*size32);  in vm32_vm_region_64()
470 	*size32 = vm_sanitize_trunc_size_to_32(size);  in vm32_vm_region_64()
479 	vm32_size_ut           *size32,         /* OUT */  in vm32_vm_region()  argument
494 	size = vm_sanitize_expand_size_to_64(*size32);  in vm32_vm_region()
499 	*size32 = vm_sanitize_trunc_size_to_32(size);  in vm32_vm_region()
508 	vm32_size_ut           *size32,  in vm32_vm_region_recurse_64()  argument
518 	size = vm_sanitize_expand_size_to_64(*size32);  in vm32_vm_region_recurse_64()
523 	*size32 = vm_sanitize_trunc_size_to_32(size);  in vm32_vm_region_recurse_64()
532 	vm32_size_ut           *size32,         /* OUT */  in vm32_vm_region_recurse()  argument
549 	size = vm_sanitize_expand_size_to_64(*size32);  in vm32_vm_region_recurse()
575 	*size32 = vm_sanitize_trunc_size_to_32(size);  in vm32_vm_region_recurse()