Searched refs:write_gc0_badinstr (Results 1 – 2 of 2) sorted by relevance
2238 #define write_gc0_badinstr(val) __write_32bit_gc0_register($8, 1, val) macro
2220 write_gc0_badinstr(v); in kvm_vz_set_one_reg()
Completed in 17 milliseconds