From 7dc04b9a4c84cfb27d14d635cd48d513a48ecca2 Mon Sep 17 00:00:00 2001 From: Indan Zupancic Date: Wed, 4 Feb 2026 20:59:52 +0000 Subject: [PATCH] Arm SMMU: Set CB_INVALID for initial task Zero is a valid context id. capVSMappedCB is only checked on VSpace deletion. Signed-off-by: Indan Zupancic --- src/arch/arm/64/kernel/vspace.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/arch/arm/64/kernel/vspace.c b/src/arch/arm/64/kernel/vspace.c index 728112093..08f7937ee 100644 --- a/src/arch/arm/64/kernel/vspace.c +++ b/src/arch/arm/64/kernel/vspace.c @@ -486,7 +486,7 @@ BOOT_CODE cap_t create_it_address_space(cap_t root_cnode_cap, v_region_t it_v_re rootserver.vspace, /* capVSBasePtr */ 1 /* capVSIsMapped */ #ifdef CONFIG_ARM_SMMU - , 0 /* capVSMappedCB */ + , CB_INVALID /* capVSMappedCB */ #endif ); slot_pos_before = ndks_boot.slot_pos_cur;