pv_mmu_peek_buffer 2210 arch/x86/kvm/mmu.c 	ret = pv_mmu_peek_buffer(buffer, len);
pv_mmu_peek_buffer 2257 arch/x86/kvm/mmu.c 	header = pv_mmu_peek_buffer(buffer, sizeof *header);