mirror of
https://github.com/seL4/seL4.git
synced 2026-03-27 10:29:57 +00:00
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 <indan@nul.nu>
This commit is contained in:
@@ -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;
|
||||
|
||||
Reference in New Issue
Block a user