kvm_vz_write_gc0_ebase
kvm_vz_write_gc0_ebase(v);
kvm_vz_write_gc0_ebase(kvm_read_sw_gc0_ebase(cop0));