lib/xlat/src/fake_host/xlat_helpers.c

/*
 * SPDX-License-Identifier: BSD-3-Clause
 * SPDX-FileCopyrightText: Copyright TF-RMM Contributors.
 */

#include <xlat_high_va.h>

uintptr_t rmm_get_my_stack(unsigned long cpuid)
{
	return 0x10000UL;
}