pv_mmu_read_buffer 2264 arch/x86/kvm/mmu.c 		wpte = pv_mmu_read_buffer(buffer, sizeof *wpte);
pv_mmu_read_buffer 2273 arch/x86/kvm/mmu.c 		ftlb = pv_mmu_read_buffer(buffer, sizeof *ftlb);
pv_mmu_read_buffer 2281 arch/x86/kvm/mmu.c 		rpt = pv_mmu_read_buffer(buffer, sizeof *rpt);