Searched refs:tlbflush_timestamp (Results 1 – 11 of 11) sorted by relevance
644 uint32_t *tlbflush_timestamp) in accumulate_tlbflush() argument647 page->tlbflush_timestamp <= tlbflush_current_time() && in accumulate_tlbflush()649 page->tlbflush_timestamp > *tlbflush_timestamp) ) in accumulate_tlbflush()652 *tlbflush_timestamp = page->tlbflush_timestamp; in accumulate_tlbflush()656 static inline void filtered_flush_tlb_mask(uint32_t tlbflush_timestamp) in filtered_flush_tlb_mask() argument661 tlbflush_filter(&mask, tlbflush_timestamp); in filtered_flush_tlb_mask()
17 page->tlbflush_timestamp = tlbflush_current_time(); in page_set_tlbflush_timestamp()
89 u32 tlbflush_timestamp; member
114 if ( NEED_FLUSH(this_cpu(tlbflush_time), dcache->tlbflush_timestamp) ) in map_domain_page()161 dcache->tlbflush_timestamp = tlbflush_current_time(); in map_domain_page()
2933 tlbflush_filter(mask, page->tlbflush_timestamp); in _get_page_type()
47 page->tlbflush_timestamp = tlbflush_current_time(); in page_set_tlbflush_timestamp()
65 u32 tlbflush_timestamp; member
219 u32 tlbflush_timestamp; member
925 uint32_t tlbflush_timestamp = 0; in alloc_heap_pages() local1007 pg[i].u.free.val, pg[i].tlbflush_timestamp); in alloc_heap_pages()1019 &tlbflush_timestamp); in alloc_heap_pages()1063 filtered_flush_tlb_mask(tlbflush_timestamp); in alloc_heap_pages()1422 pg[i].u.free.val, pg[i].tlbflush_timestamp); in free_heap_pages()2414 pg[i].u.free.val, pg[i].tlbflush_timestamp); in free_domheap_pages()
163 uint32_t tlbflush_timestamp = 0; in populate_physmap() local264 &tlbflush_timestamp); in populate_physmap()281 filtered_flush_tlb_mask(tlbflush_timestamp); in populate_physmap()
1126 tlbflush_filter(&mask, sp->tlbflush_timestamp); in shadow_alloc()1326 sp->tlbflush_timestamp = 0; /* Not in any TLB */ in shadow_set_allocation()
Completed in 34 milliseconds