Searched refs:page_bitmap (Results 1 – 1 of 1) sorted by relevance
58 uint32_t page_bitmap = atomic_swap_32(&ti->ti_synci_page_bitmap, 0); in pmap_tlb_syncicache_ast() local60 printf("%s: need to sync %#x\n", __func__, page_bitmap); in pmap_tlb_syncicache_ast()66 if (page_bitmap == pmap_tlb_synci_map_mask) { in pmap_tlb_syncicache_ast()77 page_bitmap != 0; in pmap_tlb_syncicache_ast()78 page_bitmap >>= 1, va += PAGE_SIZE) { in pmap_tlb_syncicache_ast()79 if (page_bitmap & 1) { in pmap_tlb_syncicache_ast()