// SPDX-License-Identifier: GPL-2.0
// Copyright (C) 2023 NVIDIA CORPORATION.  All rights reserved.

int tegra264_mc_get_carveout_info(unsigned int id, phys_addr_t *base, u64 *size);