Lines Matching +refs:ex +refs:map
65 * Machine-dependent structures for the physical map module.
177 #define pmap_assert(ex) ((ex) ? (void)0 : Assert(__FILE__, __LINE__, # ex))
179 #define pmap_assert2(ex, fmt, args...) \
181 if (!(ex)) { \
182 kprintf("Assertion %s failed (%s:%d, caller %p) " fmt , #ex, __FILE__, __LINE__, __builtin_return_address(0), ##args); \
183 panic("Assertion %s failed (%s:%d, caller %p) " fmt , #ex, __FILE__, __LINE__, __builtin_return_address(0), ##args); \
187 #define pmap_assert(ex)
188 #define pmap_assert2(ex, fmt, args...)
219 #define KERNEL_PHYSMAP_PML4_INDEX 509 /* virtual to physical map */
396 decl_simple_lock_data(,lock) /* lock on map */
409 struct pmap_statistics stats; /* map statistics */
442 extern void pmap_put_mapwindow(mapwindow_t *map);
569 extern ppnum_t pmap_find_phys(pmap_t map, addr64_t va);
587 #define PMAP_ACTIVATE_MAP(map, thread, my_cpu) { \
590 tpmap = vm_map_pmap(map); \
595 #define PMAP_DEACTIVATE_MAP(map, thread, ccpu) \
596 pmap_assert(pmap_pcid_ncpus ? (pcid_for_pmap_cpu_tuple(map->pmap, ccpu) == (get_cr3_raw() & 0xFFF)) : TRUE);
598 #define PMAP_DEACTIVATE_MAP(map, thread)
604 if (old_th->map != new_th->map) { \
605 PMAP_DEACTIVATE_MAP(old_th->map, old_th, my_cpu); \
606 PMAP_ACTIVATE_MAP(new_th->map, new_th, my_cpu); \
615 PMAP_DEACTIVATE_MAP(th->map, th); \
616 th->map = new_map; \
617 PMAP_ACTIVATE_MAP(th->map, th); \
626 PMAP_DEACTIVATE_MAP(th->map, th, my_cpu); \
627 th->map = new_map; \
628 PMAP_ACTIVATE_MAP(th->map, th, my_cpu); \