/* SPDX-License-Identifier: Apache-2.0
 * Copyright 2024 The TenonOS Authors
 */

#include <uk/plat/io.h>

/**
 * TODO:
 * For d9 platform, the guest virtual address = guest physical address.
 * We may have to reconsider this implementation when condition changes.
 */

__paddr_t ukplat_virt_to_phys(const __volatile__ void *address)
{
	return (__paddr_t)address;
}