Searched defs:region64 (Results 1 – 2 of 2) sorted by relevance
409 uint64_t region64 = (uint64_t)region; in userspace_is_clean() local437 uint64_t region64 = region; in userspace_in_sync() local833 uint64_t region64 = region; in userspace_is_remote_recovering() local
410 uint64_t region64 = (uint64_t)region; in userspace_is_clean() local438 uint64_t region64 = region; in userspace_in_sync() local836 uint64_t region64 = region; in userspace_is_remote_recovering() local