// © 2021 Qualcomm Innovation Center, Inc. All rights reserved.
//
// SPDX-License-Identifier: BSD-3-Clause

define BOOT_ENV_RANGES_NUM public constant = 32;

define boot_env_phys_range public structure {
	base type paddr_t;
	size size;
};

define hyp_env_data structure {
};