kvm_vz_read_gc0_ebase
*v = kvm_vz_read_gc0_ebase();
kvm_write_sw_gc0_ebase(cop0, kvm_vz_read_gc0_ebase());