add some registers to vcpu structure