is_writeble_pte   541 arch/x86/kvm/mmu.c 	if (is_writeble_pte(*spte))
is_writeble_pte   618 arch/x86/kvm/mmu.c 		if (is_writeble_pte(*spte)) {
is_writeble_pte   640 arch/x86/kvm/mmu.c 		if (is_writeble_pte(*spte)) {
is_writeble_pte  1128 arch/x86/kvm/mmu.c 	int was_writeble = is_writeble_pte(*shadow_pte);
is_writeble_pte  1191 arch/x86/kvm/mmu.c 			if (is_writeble_pte(spte)) {
is_writeble_pte   166 arch/x86/kvm/paging_tmpl.h 		if (write_fault && !is_writeble_pte(pte))