Lines Matching defs:badvaddr
2454 /* setup badvaddr, context and entryhi registers for the guest */
2495 /* setup badvaddr, context and entryhi registers for the guest */
2536 /* setup badvaddr, context and entryhi registers for the guest */
2576 /* setup badvaddr, context and entryhi registers for the guest */
2615 /* setup badvaddr, context and entryhi registers for the guest */
3133 unsigned long badvaddr = vcpu->arch.host_cp0_badvaddr;
3162 if (badvaddr >= (unsigned long) KVM_GUEST_KSEG0) {
3164 badvaddr);
3176 if (badvaddr >= (unsigned long) KVM_GUEST_KSEG0) {
3178 badvaddr);
3187 badvaddr);
3188 if ((badvaddr & PAGE_MASK) == KVM_GUEST_COMMPAGE_ADDR) {
3196 badvaddr);
3197 if ((badvaddr & PAGE_MASK) == KVM_GUEST_COMMPAGE_ADDR) {
3232 kvm_debug("kvm_mips_handle_tlbmiss: badvaddr: %#lx\n",