vsie_get_register - Linux

Symbol: vsie_get_register

arch/s390/kvm/vsie.c

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

arch/s390/kvm/vsie.c

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