Searched refs:src_addr32 (Results 1 – 1 of 1) sorted by relevance
271 vm32_address_ut src_addr32, in vm32_copy() argument278 src_addr = vm_sanitize_expand_addr_to_64(src_addr32); in vm32_copy()345 vm32_offset_ut src_addr32, in vm32_remap() argument358 src_addr = vm_sanitize_expand_addr_to_64(src_addr32); in vm32_remap()