Searched refs:host_cp0_badinstr (Results 1 – 3 of 3) sorted by relevance
576 host_cp0_badinstr), GPR_K1); in kvm_mips_build_exit()
275 *out = vcpu->arch.host_cp0_badinstr; in kvm_get_badinstr()
305 u32 host_cp0_badinstr; member