Searched refs:write_gc0_intctl (Results 1 – 2 of 2) sorted by relevance
1383 write_gc0_intctl(val); in kvm_trap_vz_handle_gsfc()2246 write_gc0_intctl(v); in kvm_vz_set_one_reg()
2240 #define write_gc0_intctl(val) __write_32bit_gc0_register($12, 1, val) macro