Searched refs:paging_flush_tlb (Results 1 – 3 of 3) sorted by relevance
404 static inline bool paging_flush_tlb(bool (*flush_vcpu)(void *ctxt, in paging_flush_tlb() function
612 if ( !paging_flush_tlb(need_flush, &input_params.vcpu_mask) ) in viridian_hypercall()
4042 return paging_flush_tlb(always_flush, NULL) ? 0 : -ERESTART; in hvmop_flush_tlb_all()
Completed in 12 milliseconds