unsigned char has_sigpif : 1;
        unsigned char has_core_type : 1;
        unsigned char has_sprp : 1;
+       unsigned char has_hvs : 1;
+       unsigned char has_esca : 1;
        unsigned int ibc;
        unsigned int mtid;
        unsigned int mtid_cp;
 
        u8      _pad_92[100 - 92];      /* 92-99 */
        u32     rnsize2;                /* 100-103 */
        u64     rnmax2;                 /* 104-111 */
-       u8      _pad_112[120 - 112];    /* 112-119 */
+       u8      _pad_112[116 - 112];    /* 112-115 */
+       u8      fac116;                 /* 116 */
+       u8      _pad_117[119 - 117];    /* 117-118 */
+       u8      fac119;                 /* 119 */
        u16     hcpua;                  /* 120-121 */
        u8      _pad_122[4096 - 122];   /* 122-4095 */
 } __packed __aligned(PAGE_SIZE);
        sclp.facilities = sccb->facilities;
        sclp.has_sprp = !!(sccb->fac84 & 0x02);
        sclp.has_core_type = !!(sccb->fac84 & 0x01);
+       sclp.has_esca = !!(sccb->fac116 & 0x08);
+       sclp.has_hvs = !!(sccb->fac119 & 0x80);
        if (sccb->fac85 & 0x02)
                S390_lowcore.machine_flags |= MACHINE_FLAG_ESOP;
        sclp.rnmax = sccb->rnmax ? sccb->rnmax : sccb->rnmax2;