{
        struct kvm_s390_sie_block *scb_s = &vsie_page->scb_s;
        struct kvm_s390_sie_block *scb_o = vsie_page->scb_o;
-       struct mcck_volatile_info *mcck_info;
-       struct sie_page *sie_page;
        int rc;
 
        handle_last_fault(vcpu, vsie_page);
 
        if (rc == -EINTR) {
                VCPU_EVENT(vcpu, 3, "%s", "machine check");
-               sie_page = container_of(scb_s, struct sie_page, sie_block);
-               mcck_info = &sie_page->mcck_info;
-               kvm_s390_reinject_machine_check(vcpu, mcck_info);
+               kvm_s390_reinject_machine_check(vcpu, &vsie_page->mcck_info);
                return 0;
        }