pmap_synci.c | 58 uint32_t page_bitmap = atomic_swap_32(&ti->ti_synci_page_bitmap, 0); local in function:pmap_tlb_syncicache_ast 60 printf("%s: need to sync %#x\n", __func__, page_bitmap); 66 if (page_bitmap == pmap_tlb_synci_map_mask) { 77 page_bitmap != 0; 78 page_bitmap >>= 1, va += PAGE_SIZE) { 79 if (page_bitmap & 1) {
|