From fc167441f02ac35e0654047a323936e563bcff79 Mon Sep 17 00:00:00 2001 From: Kent McLeod Date: Tue, 21 Sep 2021 19:04:24 +1000 Subject: [PATCH] boot: Don't round create_device_untypeds region The bitfield generated accessor would only return an error if the region being turned into an untyped was seriously wrong and would have already been caught by earlier error checking in the region setup code. Signed-off-by: Kent McLeod --- src/kernel/boot.c | 8 +------- 1 file changed, 1 insertion(+), 7 deletions(-) diff --git a/src/kernel/boot.c b/src/kernel/boot.c index 54ace3527..c17df7d71 100644 --- a/src/kernel/boot.c +++ b/src/kernel/boot.c @@ -655,13 +655,7 @@ BOOT_CODE bool_t create_untypeds(cap_t root_cnode_cap, region_t reg = paddr_to_pptr_reg((p_region_t) { start, CONFIG_PADDR_USER_DEVICE_TOP }); - /* - * The auto-generated bitfield code will get upset if the - * end pptr is larger than the maximum pointer size for this architecture. - */ - if (reg.end > PPTR_TOP) { - reg.end = PPTR_TOP; - } + if (!create_untypeds_for_region(root_cnode_cap, true, reg, first_untyped_slot)) { return false; }