Searched refs:uaddr_end (Results 1 – 1 of 1) sorted by relevance
715 hva_t uaddr_start, uaddr_end; in fault_supports_stage2_huge_mapping() local727 uaddr_end = uaddr_start + size; in fault_supports_stage2_huge_mapping()768 (hva & ~(map_size - 1)) + map_size <= uaddr_end; in fault_supports_stage2_huge_mapping()