Lines Matching +full:0487 +full:a

154  * vcpu_get_reg and vcpu_set_reg should always be passed a register number
155  * coming from a read of ESR_EL2. Otherwise, it may give the wrong result on
212 	 * We are in a hypervisor context if the vcpu mode is EL2 or  in is_hyp_ctxt()
217 	 * rest of the KVM code, and will result in a misbehaving guest.  in is_hyp_ctxt()
232  * In ARM DDI 0487E.a see:
424 		 * Only a permission fault on a S1PTW should be  in kvm_is_write_fault()
425 		 * considered as a write. Otherwise, page tables baked  in kvm_is_write_fault()
426 		 * in a read-only memslot will result in an exception  in kvm_is_write_fault()
430 		 * guest is using any of HW AF/DB: a translation fault  in kvm_is_write_fault()
432 		 * first), then a permission fault to allow the flags  in kvm_is_write_fault()
609  * Returns a 'sanitised' view of CPTR_EL2, translating from nVHE to the VHE