vsie_get_register
dest = vsie_get_register(vcpu, vsie_page, scb_s->ipb >> 20) & mask;
src = vsie_get_register(vcpu, vsie_page, scb_s->ipb >> 16) & mask;