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