x86: Add missing case for PDPT objects in cap_get_archCapSizeBits

2015-11-27 14:39:19 +11:00
parent a99a10408d
commit 6ef0b35313
1 changed files with 3 additions and 0 deletions
--- 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