From ff6988ce7faf992f3fd8d4c90d3983da9695af6f Mon Sep 17 00:00:00 2001 From: Siwei Xu Date: Mon, 20 Oct 2025 20:32:40 +0800 Subject: [PATCH] [aarch64] Fix rt_aspace_init error when KERNEL_VADDR_START >= 0x80000000 --- libcpu/aarch64/common/mmu.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/libcpu/aarch64/common/mmu.c b/libcpu/aarch64/common/mmu.c index d394cda4034..ced3eaa716e 100644 --- a/libcpu/aarch64/common/mmu.c +++ b/libcpu/aarch64/common/mmu.c @@ -559,7 +559,7 @@ int rt_hw_mmu_map_init(rt_aspace_t aspace, void *v_address, size_t size, return -1; } - rt_aspace_init(aspace, (void *)KERNEL_VADDR_START, 0 - KERNEL_VADDR_START, + rt_aspace_init(aspace, (void *)KERNEL_VADDR_START, 0 - (rt_size_t) KERNEL_VADDR_START, vtable); _init_region(v_address, size);