Searched refs:write_gc0_badinstrp (Results 1 – 2 of 2) sorted by relevance
2241 #define write_gc0_badinstrp(val) __write_32bit_gc0_register($8, 2, val) macro
2225 write_gc0_badinstrp(v); in kvm_vz_set_one_reg()
Completed in 18 milliseconds