- tt_entry_t *tte; /* translation table entries */
- pmap_paddr_t ttep; /* translation table physical */
- vm_map_address_t min; /* min address in pmap */
- vm_map_address_t max; /* max address in pmap */
- unsigned int asid; /* address space id */
- unsigned int vasid; /* Virtual address space id */
- unsigned int stamp; /* creation stamp */
- unsigned int wired; /* wired bits */
- volatile uint32_t ref_count; /* pmap reference count */
- unsigned int cpu_ref; /* number of cpus using pmap */
- unsigned int gc_status; /* gc status */
- ledger_t ledger; /* ledger tracking phys mappings */
- decl_simple_lock_data(,lock) /* lock on map */
- struct pmap_statistics stats; /* map statistics */
- queue_chain_t pmaps; /* global list of pmaps */
- tt_entry_t *tt_entry_free; /* free translation table entries */
- tt_entry_t *prev_tte; /* previous translation table */
- unsigned int tte_index_max; /* max tte index in translation table entries */
- boolean_t nx_enabled; /* no execute */
- boolean_t nested; /* is nested */
- boolean_t is_64bit; /* is 64bit */
- struct pmap *nested_pmap; /* nested pmap */
- vm_map_address_t nested_region_grand_addr;
- vm_map_address_t nested_region_subord_addr;
- vm_map_offset_t nested_region_size;
- unsigned int *nested_region_asid_bitmap;
- unsigned int nested_region_asid_bitmap_size;
+ tt_entry_t *tte; /* translation table entries */
+ pmap_paddr_t ttep; /* translation table physical */
+ vm_map_address_t min; /* min address in pmap */
+ vm_map_address_t max; /* max address in pmap */
+#if ARM_PARAMETERIZED_PMAP
+ const struct page_table_attr * pmap_pt_attr; /* details about page table layout */
+#endif /* ARM_PARAMETERIZED_PMAP */
+ ledger_t ledger; /* ledger tracking phys mappings */
+ decl_simple_lock_data(, lock); /* lock on map */
+ struct pmap_statistics stats; /* map statistics */
+ queue_chain_t pmaps; /* global list of pmaps */
+ tt_entry_t *tt_entry_free; /* free translation table entries */
+ struct pmap *nested_pmap; /* nested pmap */
+ vm_map_address_t nested_region_grand_addr;
+ vm_map_address_t nested_region_subord_addr;
+ vm_map_offset_t nested_region_size;
+ vm_map_offset_t nested_region_true_start;
+ vm_map_offset_t nested_region_true_end;
+ unsigned int *nested_region_asid_bitmap;