+#ifndef NO_NESTED_PMAP
+extern uint64_t pmap_nesting_size_min;
+extern uint64_t pmap_nesting_size_max;
+extern kern_return_t pmap_nest(pmap_t grand,
+ pmap_t subord,
+ addr64_t vstart,
+ addr64_t nstart,
+ uint64_t size);
+extern kern_return_t pmap_unnest(pmap_t grand,
+ addr64_t vaddr,
+ uint64_t size);
+#endif /* NO_NESTED_PMAP */
+