Signed-off-by: Jan Kiszka <
jan.k...@siemens.com>
---
hypervisor/arch/arm/include/asm/setup.h | 2 --
hypervisor/arch/arm/mmu_hyp.c | 14 --------------
2 files changed, 16 deletions(-)
diff --git a/hypervisor/arch/arm/include/asm/setup.h b/hypervisor/arch/arm/include/asm/setup.h
index 69d913a..4f8ab36 100644
--- a/hypervisor/arch/arm/include/asm/setup.h
+++ b/hypervisor/arch/arm/include/asm/setup.h
@@ -37,8 +37,6 @@ cpu_prepare_return_el1(struct per_cpu *cpu_data, int return_code)
}
int switch_exception_level(struct per_cpu *cpu_data);
-int arch_map_device(void *paddr, void *vaddr, unsigned long size);
-int arch_unmap_device(void *addr, unsigned long size);
#endif /* !__ASSEMBLY__ */
#endif /* !_JAILHOUSE_ASM_SETUP_H */
diff --git a/hypervisor/arch/arm/mmu_hyp.c b/hypervisor/arch/arm/mmu_hyp.c
index ec80099..4798d92 100644
--- a/hypervisor/arch/arm/mmu_hyp.c
+++ b/hypervisor/arch/arm/mmu_hyp.c
@@ -368,20 +368,6 @@ void __attribute__((noreturn)) arch_shutdown_mmu(struct per_cpu *cpu_data)
__builtin_unreachable();
}
-int arch_map_device(void *paddr, void *vaddr, unsigned long size)
-{
- return paging_create(&hv_paging_structs, (unsigned long)paddr, size,
- (unsigned long)vaddr,
- PAGE_DEFAULT_FLAGS | S1_PTE_FLAG_DEVICE,
- PAGING_NON_COHERENT);
-}
-
-int arch_unmap_device(void *vaddr, unsigned long size)
-{
- return paging_destroy(&hv_paging_structs, (unsigned long)vaddr, size,
- PAGING_NON_COHERENT);
-}
-
void arm_dcaches_flush(void *addr, long size, enum dcache_flush flush)
{
while (size > 0) {
--
2.1.4