Merge large page support code.
[barrelfish] / kernel / arch / x86_32 / page_mappings_arch.c
index 7bd4aef..17e310c 100644 (file)
 #include <string.h>
 #include <cap_predicates.h>
 
-static inline struct cte *cte_for_cap(struct capability *cap)
-{
-    return (struct cte *) (cap - offsetof(struct cte, cap));
-}
-
 #ifdef CONFIG_PAE
 /// Map within a x86_32 pdpt
 static errval_t x86_32_pdpt(struct capability *dest, cslot_t slot,