Searched refs:host_cp0_badinstrp (Results 1 – 3 of 3) sorted by relevance
582 host_cp0_badinstrp), GPR_K1); in kvm_mips_build_exit()
297 *out = vcpu->arch.host_cp0_badinstrp; in kvm_get_badinstrp()
306 u32 host_cp0_badinstrp; member