Searched refs:gstage_remote_tlb_flush (Results 1 – 1 of 1) sorted by relevance
126 static void gstage_remote_tlb_flush(struct kvm *kvm, u32 level, gpa_t addr) in gstage_remote_tlb_flush() function172 gstage_remote_tlb_flush(kvm, current_level, addr); in gstage_set_pte()265 gstage_remote_tlb_flush(kvm, ptep_level, addr); in gstage_op_pte()