Lines Matching refs:host_cp0_badvaddr
992 vcpu->arch.host_cp0_badvaddr);
1003 vcpu->arch.pc, vcpu->arch.host_cp0_badvaddr,
1013 vcpu->arch.pc, vcpu->arch.host_cp0_badvaddr,
1022 vcpu->arch.pc, vcpu->arch.host_cp0_badvaddr,
1031 vcpu->arch.pc, vcpu->arch.host_cp0_badvaddr,
1037 vcpu->arch.host_cp0_badvaddr) & (~0x3);
1039 imme = vcpu->arch.host_cp0_badvaddr & 0x3;
1061 vcpu->arch.pc, vcpu->arch.host_cp0_badvaddr,
1067 vcpu->arch.host_cp0_badvaddr) & (~0x3);
1069 imme = vcpu->arch.host_cp0_badvaddr & 0x3;
1091 vcpu->arch.pc, vcpu->arch.host_cp0_badvaddr,
1098 vcpu->arch.host_cp0_badvaddr) & (~0x7);
1101 imme = vcpu->arch.host_cp0_badvaddr & 0x7;
1139 vcpu->arch.pc, vcpu->arch.host_cp0_badvaddr,
1145 vcpu->arch.host_cp0_badvaddr) & (~0x7);
1148 imme = vcpu->arch.host_cp0_badvaddr & 0x7;
1186 vcpu->arch.pc, vcpu->arch.host_cp0_badvaddr,
1208 vcpu->arch.pc, vcpu->arch.host_cp0_badvaddr,
1216 vcpu->arch.pc, vcpu->arch.host_cp0_badvaddr,
1224 vcpu->arch.pc, vcpu->arch.host_cp0_badvaddr,
1232 vcpu->arch.pc, vcpu->arch.host_cp0_badvaddr,
1296 vcpu->arch.host_cp0_badvaddr);
1331 vcpu->arch.host_cp0_badvaddr) & (~0x3);
1334 imme = vcpu->arch.host_cp0_badvaddr & 0x3;
1355 vcpu->arch.host_cp0_badvaddr) & (~0x3);
1358 imme = vcpu->arch.host_cp0_badvaddr & 0x3;
1380 vcpu->arch.host_cp0_badvaddr) & (~0x7);
1383 imme = vcpu->arch.host_cp0_badvaddr & 0x7;
1416 vcpu->arch.host_cp0_badvaddr) & (~0x7);
1419 imme = vcpu->arch.host_cp0_badvaddr & 0x7;