From f2ac14f12fcfd206cdc4d25980b1bb231df79d39 Mon Sep 17 00:00:00 2001 From: Adrian Danis Date: Tue, 17 Feb 2015 10:44:19 +1100 Subject: [PATCH] arm: Rename BI_CAP_IT_PD to BI_CAP_IT_VSPACE to match x86 and common boot code --- src/arch/arm/kernel/boot.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/arch/arm/kernel/boot.c b/src/arch/arm/kernel/boot.c index 27c50acdf..43e80b4a9 100644 --- a/src/arch/arm/kernel/boot.c +++ b/src/arch/arm/kernel/boot.c @@ -220,7 +220,7 @@ create_it_address_space(cap_t root_cnode_cap, v_region_t it_v_reg) IT_ASID, /* capPDMappedASID */ pd_pptr /* capPDBasePtr */ ); - write_slot(SLOT_PTR(pptr_of_cap(root_cnode_cap), BI_CAP_IT_PD), pd_cap); + write_slot(SLOT_PTR(pptr_of_cap(root_cnode_cap), BI_CAP_IT_VSPACE), pd_cap); /* create all PT objs and caps necessary to cover userland image */ slot_pos_before = ndks_boot.slot_pos_cur;