Searched refs:tlbflush_timestamp (Results 1 – 11 of 11) sorted by relevance
609 uint32_t *tlbflush_timestamp) in accumulate_tlbflush() argument612 page->tlbflush_timestamp <= tlbflush_current_time() && in accumulate_tlbflush()614 page->tlbflush_timestamp > *tlbflush_timestamp) ) in accumulate_tlbflush()617 *tlbflush_timestamp = page->tlbflush_timestamp; in accumulate_tlbflush()621 static inline void filtered_flush_tlb_mask(uint32_t tlbflush_timestamp) in filtered_flush_tlb_mask() argument626 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
36 page->tlbflush_timestamp = tlbflush_current_time(); in page_set_tlbflush_timestamp()
66 u32 tlbflush_timestamp; member
142 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()
2583 tlbflush_filter(mask, page->tlbflush_timestamp); in __get_page_type()
152 uint32_t tlbflush_timestamp = 0; in populate_physmap() local250 &tlbflush_timestamp); in populate_physmap()272 filtered_flush_tlb_mask(tlbflush_timestamp); in populate_physmap()
883 uint32_t tlbflush_timestamp = 0; in alloc_heap_pages() local986 &tlbflush_timestamp); in alloc_heap_pages()1029 filtered_flush_tlb_mask(tlbflush_timestamp); in alloc_heap_pages()
1395 tlbflush_filter(&mask, sp->tlbflush_timestamp); in shadow_alloc()1583 sp->tlbflush_timestamp = 0; /* Not in any TLB */ in shadow_set_allocation()
Completed in 33 milliseconds