Searched refs:region64 (Results 1 – 1 of 1) sorted by relevance
411 uint64_t region64 = (uint64_t)region; in userspace_is_clean() local418 (char *)®ion64, sizeof(region64), in userspace_is_clean()439 uint64_t region64 = region; in userspace_in_sync() local462 (char *)®ion64, sizeof(region64), in userspace_in_sync()837 uint64_t region64 = region; in userspace_is_remote_recovering() local860 (char *)®ion64, sizeof(region64), in userspace_is_remote_recovering()