Searched refs:GUEST_ADDR_MAX (Results 1 – 3 of 3) sorted by relevance
98 return x <= GUEST_ADDR_MAX; in guest_addr_valid_untagged()103 return len - 1 <= GUEST_ADDR_MAX && start <= GUEST_ADDR_MAX - len + 1; in guest_range_valid_untagged()108 (uintptr_t)(x) - guest_base <= GUEST_ADDR_MAX)
97 #define GUEST_ADDR_MAX (reserved_va ? : GUEST_ADDR_MAX_) macro
497 assert(last <= GUEST_ADDR_MAX); in page_set_flags()619 assert(max <= GUEST_ADDR_MAX); in page_find_range_empty()