From 6ef0b35313160c65a8c566201e4b4544078abd3c Mon Sep 17 00:00:00 2001 From: Adrian Danis Date: Fri, 27 Nov 2015 14:39:19 +1100 Subject: [PATCH] x86: Add missing case for PDPT objects in cap_get_archCapSizeBits --- include/arch/x86/arch/object/structures.h | 3 +++ 1 file changed, 3 insertions(+) diff --git a/include/arch/x86/arch/object/structures.h b/include/arch/x86/arch/object/structures.h index d196eb620..5466c6106 100644 --- a/include/arch/x86/arch/object/structures.h +++ b/include/arch/x86/arch/object/structures.h @@ -210,6 +210,9 @@ cap_get_archCapSizeBits(cap_t cap) case cap_page_directory_cap: return PD_SIZE_BITS; + case cap_pdpt_cap: + return PDPT_SIZE_BITS; + case cap_io_port_cap: return 0; #ifdef CONFIG_IOMMU