From 44445d8668f458dec0ecb8bcecdcbf24e6d4251b Mon Sep 17 00:00:00 2001 From: "Jason J. Herne" Date: Thu, 4 Apr 2019 10:34:20 -0400 Subject: [PATCH 01/17] s390 vfio-ccw: Add bootindex property and IPLB data Add bootindex property and iplb data for vfio-ccw devices. This allows us to forward boot information into the bios for vfio-ccw devices. Refactor s390_get_ccw_device() to return device type. This prevents us from having to use messy casting logic in several places. Signed-off-by: Jason J. Herne Acked-by: Halil Pasic Reviewed-by: Cornelia Huck Reviewed-by: Thomas Huth Message-Id: <1554388475-18329-2-git-send-email-jjherne@linux.ibm.com> [thuth: fixed "typedef struct VFIOCCWDevice" build failure with clang] Signed-off-by: Thomas Huth --- MAINTAINERS | 1 + hw/s390x/ipl.c | 61 ++++++++++++++++++++++++++++--------- hw/s390x/s390-ccw.c | 9 ++++++ hw/vfio/ccw.c | 6 ++-- include/hw/s390x/s390-ccw.h | 1 + include/hw/s390x/vfio-ccw.h | 28 +++++++++++++++++ 6 files changed, 88 insertions(+), 18 deletions(-) create mode 100644 include/hw/s390x/vfio-ccw.h diff --git a/MAINTAINERS b/MAINTAINERS index 56139ac8ab..f7976aa43d 100644 --- a/MAINTAINERS +++ b/MAINTAINERS @@ -1445,6 +1445,7 @@ S: Supported F: hw/vfio/ccw.c F: hw/s390x/s390-ccw.c F: include/hw/s390x/s390-ccw.h +F: include/hw/s390x/vfio-ccw.h T: git https://github.com/cohuck/qemu.git s390-next L: qemu-s390x@nongnu.org diff --git a/hw/s390x/ipl.c b/hw/s390x/ipl.c index 51b272e190..d0cc06a05f 100644 --- a/hw/s390x/ipl.c +++ b/hw/s390x/ipl.c @@ -19,6 +19,7 @@ #include "hw/loader.h" #include "hw/boards.h" #include "hw/s390x/virtio-ccw.h" +#include "hw/s390x/vfio-ccw.h" #include "hw/s390x/css.h" #include "hw/s390x/ebcdic.h" #include "ipl.h" @@ -303,16 +304,36 @@ static void s390_ipl_set_boot_menu(S390IPLState *ipl) ipl->qipl.boot_menu_timeout = cpu_to_be32(splash_time); } -static CcwDevice *s390_get_ccw_device(DeviceState *dev_st) +#define CCW_DEVTYPE_NONE 0x00 +#define CCW_DEVTYPE_VIRTIO 0x01 +#define CCW_DEVTYPE_VIRTIO_NET 0x02 +#define CCW_DEVTYPE_SCSI 0x03 +#define CCW_DEVTYPE_VFIO 0x04 + +static CcwDevice *s390_get_ccw_device(DeviceState *dev_st, int *devtype) { CcwDevice *ccw_dev = NULL; + int tmp_dt = CCW_DEVTYPE_NONE; if (dev_st) { + VirtIONet *virtio_net_dev = (VirtIONet *) + object_dynamic_cast(OBJECT(dev_st), TYPE_VIRTIO_NET); VirtioCcwDevice *virtio_ccw_dev = (VirtioCcwDevice *) object_dynamic_cast(OBJECT(qdev_get_parent_bus(dev_st)->parent), TYPE_VIRTIO_CCW_DEVICE); + VFIOCCWDevice *vfio_ccw_dev = (VFIOCCWDevice *) + object_dynamic_cast(OBJECT(dev_st), TYPE_VFIO_CCW); + if (virtio_ccw_dev) { ccw_dev = CCW_DEVICE(virtio_ccw_dev); + if (virtio_net_dev) { + tmp_dt = CCW_DEVTYPE_VIRTIO_NET; + } else { + tmp_dt = CCW_DEVTYPE_VIRTIO; + } + } else if (vfio_ccw_dev) { + ccw_dev = CCW_DEVICE(vfio_ccw_dev); + tmp_dt = CCW_DEVTYPE_VFIO; } else { SCSIDevice *sd = (SCSIDevice *) object_dynamic_cast(OBJECT(dev_st), @@ -325,9 +346,13 @@ static CcwDevice *s390_get_ccw_device(DeviceState *dev_st) ccw_dev = (CcwDevice *)object_dynamic_cast(OBJECT(scsi_ccw), TYPE_CCW_DEVICE); + tmp_dt = CCW_DEVTYPE_SCSI; } } } + if (devtype) { + *devtype = tmp_dt; + } return ccw_dev; } @@ -335,20 +360,22 @@ static bool s390_gen_initial_iplb(S390IPLState *ipl) { DeviceState *dev_st; CcwDevice *ccw_dev = NULL; + SCSIDevice *sd; + int devtype; dev_st = get_boot_device(0); if (dev_st) { - ccw_dev = s390_get_ccw_device(dev_st); + ccw_dev = s390_get_ccw_device(dev_st, &devtype); } /* * Currently allow IPL only from CCW devices. */ if (ccw_dev) { - SCSIDevice *sd = (SCSIDevice *) object_dynamic_cast(OBJECT(dev_st), - TYPE_SCSI_DEVICE); - - if (sd) { + switch (devtype) { + case CCW_DEVTYPE_SCSI: + sd = (SCSIDevice *) object_dynamic_cast(OBJECT(dev_st), + TYPE_SCSI_DEVICE); ipl->iplb.len = cpu_to_be32(S390_IPLB_MIN_QEMU_SCSI_LEN); ipl->iplb.blk0_len = cpu_to_be32(S390_IPLB_MIN_QEMU_SCSI_LEN - S390_IPLB_HEADER_LEN); @@ -358,20 +385,24 @@ static bool s390_gen_initial_iplb(S390IPLState *ipl) ipl->iplb.scsi.channel = cpu_to_be16(sd->channel); ipl->iplb.scsi.devno = cpu_to_be16(ccw_dev->sch->devno); ipl->iplb.scsi.ssid = ccw_dev->sch->ssid & 3; - } else { - VirtIONet *vn = (VirtIONet *) object_dynamic_cast(OBJECT(dev_st), - TYPE_VIRTIO_NET); - + break; + case CCW_DEVTYPE_VFIO: + ipl->iplb.len = cpu_to_be32(S390_IPLB_MIN_CCW_LEN); + ipl->iplb.pbt = S390_IPL_TYPE_CCW; + ipl->iplb.ccw.devno = cpu_to_be16(ccw_dev->sch->devno); + ipl->iplb.ccw.ssid = ccw_dev->sch->ssid & 3; + break; + case CCW_DEVTYPE_VIRTIO_NET: + ipl->netboot = true; + /* Fall through to CCW_DEVTYPE_VIRTIO case */ + case CCW_DEVTYPE_VIRTIO: ipl->iplb.len = cpu_to_be32(S390_IPLB_MIN_CCW_LEN); ipl->iplb.blk0_len = cpu_to_be32(S390_IPLB_MIN_CCW_LEN - S390_IPLB_HEADER_LEN); ipl->iplb.pbt = S390_IPL_TYPE_CCW; ipl->iplb.ccw.devno = cpu_to_be16(ccw_dev->sch->devno); ipl->iplb.ccw.ssid = ccw_dev->sch->ssid & 3; - - if (vn) { - ipl->netboot = true; - } + break; } if (!s390_ipl_set_loadparm(ipl->iplb.loadparm)) { @@ -530,7 +561,7 @@ void s390_ipl_reset_request(CPUState *cs, enum s390_reset reset_type) !ipl->netboot && ipl->iplb.pbt == S390_IPL_TYPE_CCW && is_virtio_scsi_device(&ipl->iplb)) { - CcwDevice *ccw_dev = s390_get_ccw_device(get_boot_device(0)); + CcwDevice *ccw_dev = s390_get_ccw_device(get_boot_device(0), NULL); if (ccw_dev && cpu_to_be16(ccw_dev->sch->devno) == ipl->iplb.ccw.devno && diff --git a/hw/s390x/s390-ccw.c b/hw/s390x/s390-ccw.c index cad91ee626..f5f025d1b6 100644 --- a/hw/s390x/s390-ccw.c +++ b/hw/s390x/s390-ccw.c @@ -124,6 +124,14 @@ static void s390_ccw_unrealize(S390CCWDevice *cdev, Error **errp) g_free(cdev->mdevid); } +static void s390_ccw_instance_init(Object *obj) +{ + S390CCWDevice *dev = S390_CCW_DEVICE(obj); + + device_add_bootindex_property(obj, &dev->bootindex, "bootindex", + "/disk@0,0", DEVICE(obj), NULL); +} + static void s390_ccw_class_init(ObjectClass *klass, void *data) { DeviceClass *dc = DEVICE_CLASS(klass); @@ -137,6 +145,7 @@ static void s390_ccw_class_init(ObjectClass *klass, void *data) static const TypeInfo s390_ccw_info = { .name = TYPE_S390_CCW, .parent = TYPE_CCW_DEVICE, + .instance_init = s390_ccw_instance_init, .instance_size = sizeof(S390CCWDevice), .class_size = sizeof(S390CCWDeviceClass), .class_init = s390_ccw_class_init, diff --git a/hw/vfio/ccw.c b/hw/vfio/ccw.c index c44d13cc50..31dd3a2a87 100644 --- a/hw/vfio/ccw.c +++ b/hw/vfio/ccw.c @@ -21,12 +21,12 @@ #include "hw/vfio/vfio.h" #include "hw/vfio/vfio-common.h" #include "hw/s390x/s390-ccw.h" +#include "hw/s390x/vfio-ccw.h" #include "hw/s390x/ccw-device.h" #include "exec/address-spaces.h" #include "qemu/error-report.h" -#define TYPE_VFIO_CCW "vfio-ccw" -typedef struct VFIOCCWDevice { +struct VFIOCCWDevice { S390CCWDevice cdev; VFIODevice vdev; uint64_t io_region_size; @@ -35,7 +35,7 @@ typedef struct VFIOCCWDevice { EventNotifier io_notifier; bool force_orb_pfch; bool warned_orb_pfch; -} VFIOCCWDevice; +}; static inline void warn_once_pfch(VFIOCCWDevice *vcdev, SubchDev *sch, const char *msg) diff --git a/include/hw/s390x/s390-ccw.h b/include/hw/s390x/s390-ccw.h index 7d15a1a5d4..901d805d79 100644 --- a/include/hw/s390x/s390-ccw.h +++ b/include/hw/s390x/s390-ccw.h @@ -27,6 +27,7 @@ typedef struct S390CCWDevice { CcwDevice parent_obj; CssDevId hostid; char *mdevid; + int32_t bootindex; } S390CCWDevice; typedef struct S390CCWDeviceClass { diff --git a/include/hw/s390x/vfio-ccw.h b/include/hw/s390x/vfio-ccw.h new file mode 100644 index 0000000000..ee5250d0d7 --- /dev/null +++ b/include/hw/s390x/vfio-ccw.h @@ -0,0 +1,28 @@ +/* + * vfio based subchannel assignment support + * + * Copyright 2017, 2019 IBM Corp. + * Author(s): Dong Jia Shi + * Xiao Feng Ren + * Pierre Morel + * + * This work is licensed under the terms of the GNU GPL, version 2 or (at + * your option) any later version. See the COPYING file in the top-level + * directory. + */ + +#ifndef HW_VFIO_CCW_H +#define HW_VFIO_CCW_H + +#include "hw/vfio/vfio-common.h" +#include "hw/s390x/s390-ccw.h" +#include "hw/s390x/ccw-device.h" + +#define TYPE_VFIO_CCW "vfio-ccw" +#define VFIO_CCW(obj) \ + OBJECT_CHECK(VFIOCCWDevice, (obj), TYPE_VFIO_CCW) + +#define TYPE_VFIO_CCW "vfio-ccw" +typedef struct VFIOCCWDevice VFIOCCWDevice; + +#endif From 87f910c142d5589ef937ac216f92c6dcddae955e Mon Sep 17 00:00:00 2001 From: "Jason J. Herne" Date: Thu, 4 Apr 2019 10:34:21 -0400 Subject: [PATCH 02/17] s390-bios: decouple cio setup from virtio Move channel i/o setup code out to a separate function. This decouples cio setup from the virtio code path and allows us to make use of it for booting dasd devices. Signed-off-by: Jason J. Herne Acked-by: Halil Pasic Reviewed-by: Collin Walling Reviewed-by: Farhan Ali Reviewed-by: Thomas Huth Reviewed-by: Cornelia Huck Message-Id: <1554388475-18329-3-git-send-email-jjherne@linux.ibm.com> Signed-off-by: Thomas Huth --- pc-bios/s390-ccw/main.c | 20 +++++++++++++------- 1 file changed, 13 insertions(+), 7 deletions(-) diff --git a/pc-bios/s390-ccw/main.c b/pc-bios/s390-ccw/main.c index 544851d672..e82fe2ce23 100644 --- a/pc-bios/s390-ccw/main.c +++ b/pc-bios/s390-ccw/main.c @@ -99,6 +99,18 @@ static void menu_setup(void) } } +/* + * Initialize the channel I/O subsystem so we can talk to our ipl/boot device. + */ +static void css_setup(void) +{ + /* + * Unconditionally enable mss support. In every sane configuration this + * will succeed; and even if it doesn't, stsch_err() can handle it. + */ + enable_mss_facility(); +} + static void virtio_setup(void) { Schib schib; @@ -109,13 +121,6 @@ static void virtio_setup(void) VDev *vdev = virtio_get_device(); QemuIplParameters *early_qipl = (QemuIplParameters *)QIPL_ADDRESS; - /* - * We unconditionally enable mss support. In every sane configuration, - * this will succeed; and even if it doesn't, stsch_err() can deal - * with the consequences. - */ - enable_mss_facility(); - sclp_get_loadparm_ascii(loadparm_str); memcpy(ldp + 10, loadparm_str, LOADPARM_LEN); sclp_print(ldp); @@ -168,6 +173,7 @@ static void virtio_setup(void) int main(void) { sclp_setup(); + css_setup(); virtio_setup(); zipl_load(); /* no return */ From a5f6e0975b1f1b79f446c8323e62fd0534408da6 Mon Sep 17 00:00:00 2001 From: "Jason J. Herne" Date: Thu, 4 Apr 2019 10:34:22 -0400 Subject: [PATCH 03/17] s390-bios: decouple common boot logic from virtio Create a boot_setup function to handle getting boot information from the machine/hypervisor. This decouples common boot logic from the virtio code path and allows us to make use of it for the real dasd boot scenario. Signed-off-by: Jason J. Herne Acked-by: Halil Pasic Reviewed-by: Collin Walling Reviewed-by: Farhan Ali Reviewed-by: Cornelia Huck Message-Id: <1554388475-18329-4-git-send-email-jjherne@linux.ibm.com> Signed-off-by: Thomas Huth --- pc-bios/s390-ccw/main.c | 28 ++++++++++++++++++++-------- 1 file changed, 20 insertions(+), 8 deletions(-) diff --git a/pc-bios/s390-ccw/main.c b/pc-bios/s390-ccw/main.c index e82fe2ce23..67df42191b 100644 --- a/pc-bios/s390-ccw/main.c +++ b/pc-bios/s390-ccw/main.c @@ -14,16 +14,17 @@ char stack[PAGE_SIZE * 8] __attribute__((__aligned__(PAGE_SIZE))); static SubChannelId blk_schid = { .one = 1 }; -IplParameterBlock iplb __attribute__((__aligned__(PAGE_SIZE))); static char loadparm_str[LOADPARM_LEN + 1] = { 0, 0, 0, 0, 0, 0, 0, 0, 0 }; QemuIplParameters qipl; +IplParameterBlock iplb __attribute__((__aligned__(PAGE_SIZE))); +static bool have_iplb; #define LOADPARM_PROMPT "PROMPT " #define LOADPARM_EMPTY " " #define BOOT_MENU_FLAG_MASK (QIPL_FLAG_BM_OPTS_CMD | QIPL_FLAG_BM_OPTS_ZIPL) /* - * Priniciples of Operations (SA22-7832-09) chapter 17 requires that + * Principles of Operations (SA22-7832-09) chapter 17 requires that * a subsystem-identification is at 184-187 and bytes 188-191 are zero * after list-directed-IPL and ccw-IPL. */ @@ -111,23 +112,33 @@ static void css_setup(void) enable_mss_facility(); } +/* + * Collect various pieces of information from the hypervisor/hardware that + * we'll use to determine exactly how we'll boot. + */ +static void boot_setup(void) +{ + char lpmsg[] = "LOADPARM=[________]\n"; + + sclp_get_loadparm_ascii(loadparm_str); + memcpy(lpmsg + 10, loadparm_str, 8); + sclp_print(lpmsg); + + have_iplb = store_iplb(&iplb); +} + static void virtio_setup(void) { Schib schib; int ssid; bool found = false; uint16_t dev_no; - char ldp[] = "LOADPARM=[________]\n"; VDev *vdev = virtio_get_device(); QemuIplParameters *early_qipl = (QemuIplParameters *)QIPL_ADDRESS; - sclp_get_loadparm_ascii(loadparm_str); - memcpy(ldp + 10, loadparm_str, LOADPARM_LEN); - sclp_print(ldp); - memcpy(&qipl, early_qipl, sizeof(QemuIplParameters)); - if (store_iplb(&iplb)) { + if (have_iplb) { switch (iplb.pbt) { case S390_IPL_TYPE_CCW: dev_no = iplb.ccw.devno; @@ -174,6 +185,7 @@ int main(void) { sclp_setup(); css_setup(); + boot_setup(); virtio_setup(); zipl_load(); /* no return */ From d96c5db77f1058ee9509554f43b945c66b3aa7c9 Mon Sep 17 00:00:00 2001 From: "Jason J. Herne" Date: Thu, 4 Apr 2019 10:34:23 -0400 Subject: [PATCH 04/17] s390-bios: Clean up cio.h Add proper typedefs to all structs and modify all bit fields to use consistent formatting. Signed-off-by: Jason J. Herne Reviewed-by: Collin Walling Reviewed-by: Farhan Ali Acked-by: Cornelia Huck Reviewed-by: Thomas Huth Message-Id: <1554388475-18329-5-git-send-email-jjherne@linux.ibm.com> Signed-off-by: Thomas Huth --- pc-bios/s390-ccw/cio.h | 112 ++++++++++++++++++------------------ pc-bios/s390-ccw/s390-ccw.h | 8 --- 2 files changed, 56 insertions(+), 64 deletions(-) diff --git a/pc-bios/s390-ccw/cio.h b/pc-bios/s390-ccw/cio.h index 1a0795f645..ed5b2cbf72 100644 --- a/pc-bios/s390-ccw/cio.h +++ b/pc-bios/s390-ccw/cio.h @@ -17,35 +17,35 @@ * path management control word */ struct pmcw { - __u32 intparm; /* interruption parameter */ - __u32 qf : 1; /* qdio facility */ - __u32 w : 1; - __u32 isc : 3; /* interruption sublass */ - __u32 res5 : 3; /* reserved zeros */ - __u32 ena : 1; /* enabled */ - __u32 lm : 2; /* limit mode */ - __u32 mme : 2; /* measurement-mode enable */ - __u32 mp : 1; /* multipath mode */ - __u32 tf : 1; /* timing facility */ - __u32 dnv : 1; /* device number valid */ - __u32 dev : 16; /* device number */ - __u8 lpm; /* logical path mask */ - __u8 pnom; /* path not operational mask */ - __u8 lpum; /* last path used mask */ - __u8 pim; /* path installed mask */ - __u16 mbi; /* measurement-block index */ - __u8 pom; /* path operational mask */ - __u8 pam; /* path available mask */ - __u8 chpid[8]; /* CHPID 0-7 (if available) */ - __u32 unused1 : 8; /* reserved zeros */ - __u32 st : 3; /* subchannel type */ - __u32 unused2 : 18; /* reserved zeros */ - __u32 mbfc : 1; /* measurement block format control */ - __u32 xmwme : 1; /* extended measurement word mode enable */ - __u32 csense : 1; /* concurrent sense; can be enabled ...*/ - /* ... per MSCH, however, if facility */ - /* ... is not installed, this results */ - /* ... in an operand exception. */ + __u32 intparm; /* interruption parameter */ + __u32 qf:1; /* qdio facility */ + __u32 w:1; + __u32 isc:3; /* interruption sublass */ + __u32 res5:3; /* reserved zeros */ + __u32 ena:1; /* enabled */ + __u32 lm:2; /* limit mode */ + __u32 mme:2; /* measurement-mode enable */ + __u32 mp:1; /* multipath mode */ + __u32 tf:1; /* timing facility */ + __u32 dnv:1; /* device number valid */ + __u32 dev:16; /* device number */ + __u8 lpm; /* logical path mask */ + __u8 pnom; /* path not operational mask */ + __u8 lpum; /* last path used mask */ + __u8 pim; /* path installed mask */ + __u16 mbi; /* measurement-block index */ + __u8 pom; /* path operational mask */ + __u8 pam; /* path available mask */ + __u8 chpid[8]; /* CHPID 0-7 (if available) */ + __u32 unused1:8; /* reserved zeros */ + __u32 st:3; /* subchannel type */ + __u32 unused2:18; /* reserved zeros */ + __u32 mbfc:1; /* measurement block format control */ + __u32 xmwme:1; /* extended measurement word mode enable */ + __u32 csense:1; /* concurrent sense; can be enabled ...*/ + /* ... per MSCH, however, if facility */ + /* ... is not installed, this results */ + /* ... in an operand exception. */ } __attribute__ ((packed)); /* Target SCHIB configuration. */ @@ -77,28 +77,28 @@ struct scsw { /* * subchannel information block */ -struct schib { +typedef struct schib { struct pmcw pmcw; /* path management control word */ struct scsw scsw; /* subchannel status word */ __u64 mba; /* measurement block address */ __u8 mda[4]; /* model dependent area */ -} __attribute__ ((packed,aligned(4))); +} __attribute__ ((packed, aligned(4))) Schib; -struct subchannel_id { - __u32 cssid : 8; - __u32 : 4; - __u32 m : 1; - __u32 ssid : 2; - __u32 one : 1; - __u32 sch_no : 16; -} __attribute__ ((packed, aligned(4))); +typedef struct subchannel_id { + __u32 cssid:8; + __u32:4; + __u32 m:1; + __u32 ssid:2; + __u32 one:1; + __u32 sch_no:16; +} __attribute__ ((packed, aligned(4))) SubChannelId; struct chsc_header { __u16 length; __u16 code; } __attribute__((packed)); -struct chsc_area_sda { +typedef struct chsc_area_sda { struct chsc_header request; __u8 reserved1:4; __u8 format:4; @@ -111,29 +111,29 @@ struct chsc_area_sda { __u32 reserved5:4; __u32 format2:4; __u32 reserved6:24; -} __attribute__((packed)); +} __attribute__((packed)) ChscAreaSda; /* * TPI info structure */ struct tpi_info { struct subchannel_id schid; - __u32 intparm; /* interruption parameter */ - __u32 adapter_IO : 1; - __u32 reserved2 : 1; - __u32 isc : 3; - __u32 reserved3 : 12; - __u32 int_type : 3; - __u32 reserved4 : 12; + __u32 intparm; /* interruption parameter */ + __u32 adapter_IO:1; + __u32 reserved2:1; + __u32 isc:3; + __u32 reserved3:12; + __u32 int_type:3; + __u32 reserved4:12; } __attribute__ ((packed, aligned(4))); /* channel command word (type 1) */ -struct ccw1 { +typedef struct ccw1 { __u8 cmd_code; __u8 flags; __u16 count; __u32 cda; -} __attribute__ ((packed, aligned(8))); +} __attribute__ ((packed, aligned(8))) Ccw1; #define CCW_FLAG_DC 0x80 #define CCW_FLAG_CC 0x40 @@ -162,7 +162,7 @@ struct ccw1 { /* * Command-mode operation request block */ -struct cmd_orb { +typedef struct cmd_orb { __u32 intparm; /* interruption parameter */ __u32 key:4; /* flags, like key, suspend control, etc. */ __u32 spnd:1; /* suspend control */ @@ -182,7 +182,7 @@ struct cmd_orb { __u32 zero:6; /* reserved zeros */ __u32 orbx:1; /* ORB extension control */ __u32 cpa; /* channel program address */ -} __attribute__ ((packed, aligned(4))); +} __attribute__ ((packed, aligned(4))) CmdOrb; struct ciw { __u8 type; @@ -193,7 +193,7 @@ struct ciw { /* * sense-id response buffer layout */ -struct senseid { +typedef struct senseid { /* common part */ __u8 reserved; /* always 0x'FF' */ __u16 cu_type; /* control unit type */ @@ -203,15 +203,15 @@ struct senseid { __u8 unused; /* padding byte */ /* extended part */ struct ciw ciw[62]; -} __attribute__ ((packed, aligned(4))); +} __attribute__ ((packed, aligned(4))) SenseId; /* interruption response block */ -struct irb { +typedef struct irb { struct scsw scsw; __u32 esw[5]; __u32 ecw[8]; __u32 emw[8]; -} __attribute__ ((packed, aligned(4))); +} __attribute__ ((packed, aligned(4))) Irb; /* * Some S390 specific IO instructions as inline diff --git a/pc-bios/s390-ccw/s390-ccw.h b/pc-bios/s390-ccw/s390-ccw.h index 9828aa233d..241c6d0b69 100644 --- a/pc-bios/s390-ccw/s390-ccw.h +++ b/pc-bios/s390-ccw/s390-ccw.h @@ -49,14 +49,6 @@ typedef unsigned long long __u64; #include "cio.h" #include "iplb.h" -typedef struct irb Irb; -typedef struct ccw1 Ccw1; -typedef struct cmd_orb CmdOrb; -typedef struct schib Schib; -typedef struct chsc_area_sda ChscAreaSda; -typedef struct senseid SenseId; -typedef struct subchannel_id SubChannelId; - /* start.s */ void disabled_wait(void); void consume_sclp_int(void); From 120d04103e3f870d0fcd2a23c2ada0a4a4f036cc Mon Sep 17 00:00:00 2001 From: "Jason J. Herne" Date: Thu, 4 Apr 2019 10:34:24 -0400 Subject: [PATCH 05/17] s390-bios: Decouple channel i/o logic from virtio Create a separate library for channel i/o related code. This decouples channel i/o operations from virtio and allows us to make use of them for the real dasd boot path. Signed-off-by: Jason J. Herne Reviewed-by: Cornelia Huck Reviewed-by: Thomas Huth Message-Id: <1554388475-18329-6-git-send-email-jjherne@linux.ibm.com> Signed-off-by: Thomas Huth --- pc-bios/s390-ccw/Makefile | 2 +- pc-bios/s390-ccw/cio.c | 44 ++++++++++++++++++++++++++++++++++++ pc-bios/s390-ccw/cio.h | 3 +++ pc-bios/s390-ccw/main.c | 1 + pc-bios/s390-ccw/netboot.mak | 2 +- pc-bios/s390-ccw/netmain.c | 1 + pc-bios/s390-ccw/s390-ccw.h | 1 - pc-bios/s390-ccw/virtio.c | 27 ++-------------------- 8 files changed, 53 insertions(+), 28 deletions(-) create mode 100644 pc-bios/s390-ccw/cio.c diff --git a/pc-bios/s390-ccw/Makefile b/pc-bios/s390-ccw/Makefile index 1eb316b02f..12ad9c1d58 100644 --- a/pc-bios/s390-ccw/Makefile +++ b/pc-bios/s390-ccw/Makefile @@ -10,7 +10,7 @@ $(call set-vpath, $(SRC_PATH)/pc-bios/s390-ccw) .PHONY : all clean build-all OBJECTS = start.o main.o bootmap.o jump2ipl.o sclp.o menu.o \ - virtio.o virtio-scsi.o virtio-blkdev.o libc.o + virtio.o virtio-scsi.o virtio-blkdev.o libc.o cio.o QEMU_CFLAGS := $(filter -W%, $(QEMU_CFLAGS)) QEMU_CFLAGS += -ffreestanding -fno-delete-null-pointer-checks -msoft-float diff --git a/pc-bios/s390-ccw/cio.c b/pc-bios/s390-ccw/cio.c new file mode 100644 index 0000000000..87c6b34e88 --- /dev/null +++ b/pc-bios/s390-ccw/cio.c @@ -0,0 +1,44 @@ +/* + * S390 Channel I/O + * + * Copyright (c) 2013 Alexander Graf + * Copyright (c) 2019 IBM Corp. + * + * Author(s): Jason J. Herne + * + * This work is licensed under the terms of the GNU GPL, version 2 or (at + * your option) any later version. See the COPYING file in the top-level + * directory. + */ + +#include "libc.h" +#include "s390-ccw.h" +#include "cio.h" + +static char chsc_page[PAGE_SIZE] __attribute__((__aligned__(PAGE_SIZE))); + +int enable_mss_facility(void) +{ + int ret; + ChscAreaSda *sda_area = (ChscAreaSda *) chsc_page; + + memset(sda_area, 0, PAGE_SIZE); + sda_area->request.length = 0x0400; + sda_area->request.code = 0x0031; + sda_area->operation_code = 0x2; + + ret = chsc(sda_area); + if ((ret == 0) && (sda_area->response.code == 0x0001)) { + return 0; + } + return -EIO; +} + +void enable_subchannel(SubChannelId schid) +{ + Schib schib; + + stsch_err(schid, &schib); + schib.pmcw.ena = 1; + msch(schid, &schib); +} diff --git a/pc-bios/s390-ccw/cio.h b/pc-bios/s390-ccw/cio.h index ed5b2cbf72..218fd96ea3 100644 --- a/pc-bios/s390-ccw/cio.h +++ b/pc-bios/s390-ccw/cio.h @@ -213,6 +213,9 @@ typedef struct irb { __u32 emw[8]; } __attribute__ ((packed, aligned(4))) Irb; +int enable_mss_facility(void); +void enable_subchannel(SubChannelId schid); + /* * Some S390 specific IO instructions as inline */ diff --git a/pc-bios/s390-ccw/main.c b/pc-bios/s390-ccw/main.c index 67df42191b..10f04c6906 100644 --- a/pc-bios/s390-ccw/main.c +++ b/pc-bios/s390-ccw/main.c @@ -10,6 +10,7 @@ #include "libc.h" #include "s390-ccw.h" +#include "cio.h" #include "virtio.h" char stack[PAGE_SIZE * 8] __attribute__((__aligned__(PAGE_SIZE))); diff --git a/pc-bios/s390-ccw/netboot.mak b/pc-bios/s390-ccw/netboot.mak index 14e96b2aa6..5eefb7c289 100644 --- a/pc-bios/s390-ccw/netboot.mak +++ b/pc-bios/s390-ccw/netboot.mak @@ -1,7 +1,7 @@ SLOF_DIR := $(SRC_PATH)/roms/SLOF -NETOBJS := start.o sclp.o virtio.o virtio-net.o jump2ipl.o netmain.o \ +NETOBJS := start.o sclp.o cio.o virtio.o virtio-net.o jump2ipl.o netmain.o \ libnet.a libc.a LIBC_INC := -nostdinc -I$(SLOF_DIR)/lib/libc/include diff --git a/pc-bios/s390-ccw/netmain.c b/pc-bios/s390-ccw/netmain.c index 0392131c27..5189c0fc39 100644 --- a/pc-bios/s390-ccw/netmain.c +++ b/pc-bios/s390-ccw/netmain.c @@ -33,6 +33,7 @@ #include #include "s390-ccw.h" +#include "cio.h" #include "virtio.h" #define DEFAULT_BOOT_RETRIES 10 diff --git a/pc-bios/s390-ccw/s390-ccw.h b/pc-bios/s390-ccw/s390-ccw.h index 241c6d0b69..b39ee5d323 100644 --- a/pc-bios/s390-ccw/s390-ccw.h +++ b/pc-bios/s390-ccw/s390-ccw.h @@ -72,7 +72,6 @@ unsigned long virtio_load_direct(ulong rec_list1, ulong rec_list2, bool virtio_is_supported(SubChannelId schid); void virtio_blk_setup_device(SubChannelId schid); int virtio_read(ulong sector, void *load_addr); -int enable_mss_facility(void); u64 get_clock(void); ulong get_second(void); diff --git a/pc-bios/s390-ccw/virtio.c b/pc-bios/s390-ccw/virtio.c index cdb66f459e..aa9da7253f 100644 --- a/pc-bios/s390-ccw/virtio.c +++ b/pc-bios/s390-ccw/virtio.c @@ -10,6 +10,7 @@ #include "libc.h" #include "s390-ccw.h" +#include "cio.h" #include "virtio.h" #include "virtio-scsi.h" #include "bswap.h" @@ -20,8 +21,6 @@ static VRing block[VIRTIO_MAX_VQS]; static char ring_area[VIRTIO_RING_SIZE * VIRTIO_MAX_VQS] __attribute__((__aligned__(PAGE_SIZE))); -static char chsc_page[PAGE_SIZE] __attribute__((__aligned__(PAGE_SIZE))); - static VDev vdev = { .nr_vqs = 1, .vrings = block, @@ -94,14 +93,9 @@ static int run_ccw(VDev *vdev, int cmd, void *ptr, int len) { Ccw1 ccw = {}; CmdOrb orb = {}; - Schib schib; int r; - /* start command processing */ - stsch_err(vdev->schid, &schib); - /* enable the subchannel for IPL device */ - schib.pmcw.ena = 1; - msch(vdev->schid, &schib); + enable_subchannel(vdev->schid); /* start subchannel command */ orb.fmt = 1; @@ -343,20 +337,3 @@ bool virtio_is_supported(SubChannelId schid) } return false; } - -int enable_mss_facility(void) -{ - int ret; - ChscAreaSda *sda_area = (ChscAreaSda *) chsc_page; - - memset(sda_area, 0, PAGE_SIZE); - sda_area->request.length = 0x0400; - sda_area->request.code = 0x0031; - sda_area->operation_code = 0x2; - - ret = chsc(sda_area); - if ((ret == 0) && (sda_area->response.code == 0x0001)) { - return 0; - } - return -EIO; -} From c95df3d108028ff5a709ee3aefdb14401b07cb39 Mon Sep 17 00:00:00 2001 From: "Jason J. Herne" Date: Thu, 4 Apr 2019 10:34:25 -0400 Subject: [PATCH 06/17] s390-bios: Map low core memory Create a new header for basic architecture specific definitions and add a mapping of low core memory. This mapping will be used by the real dasd boot process. Signed-off-by: Jason J. Herne Acked-by: Cornelia Huck Reviewed-by: Thomas Huth Message-Id: <1554388475-18329-7-git-send-email-jjherne@linux.ibm.com> Signed-off-by: Thomas Huth --- pc-bios/s390-ccw/main.c | 2 + pc-bios/s390-ccw/s390-arch.h | 90 ++++++++++++++++++++++++++++++++++++ 2 files changed, 92 insertions(+) create mode 100644 pc-bios/s390-ccw/s390-arch.h diff --git a/pc-bios/s390-ccw/main.c b/pc-bios/s390-ccw/main.c index 10f04c6906..e403b5f733 100644 --- a/pc-bios/s390-ccw/main.c +++ b/pc-bios/s390-ccw/main.c @@ -9,6 +9,7 @@ */ #include "libc.h" +#include "s390-arch.h" #include "s390-ccw.h" #include "cio.h" #include "virtio.h" @@ -19,6 +20,7 @@ static char loadparm_str[LOADPARM_LEN + 1] = { 0, 0, 0, 0, 0, 0, 0, 0, 0 }; QemuIplParameters qipl; IplParameterBlock iplb __attribute__((__aligned__(PAGE_SIZE))); static bool have_iplb; +LowCore const *lowcore; /* Yes, this *is* a pointer to address 0 */ #define LOADPARM_PROMPT "PROMPT " #define LOADPARM_EMPTY " " diff --git a/pc-bios/s390-ccw/s390-arch.h b/pc-bios/s390-ccw/s390-arch.h new file mode 100644 index 0000000000..5e92c7a27d --- /dev/null +++ b/pc-bios/s390-ccw/s390-arch.h @@ -0,0 +1,90 @@ +/* + * S390 Basic Architecture + * + * Copyright (c) 2019 Jason J. Herne + * + * This work is licensed under the terms of the GNU GPL, version 2 or (at + * your option) any later version. See the COPYING file in the top-level + * directory. + */ + +#ifndef S390_ARCH_H +#define S390_ARCH_H + +typedef struct PSW { + uint64_t mask; + uint64_t addr; +} __attribute__ ((aligned(8))) PSW; +_Static_assert(sizeof(struct PSW) == 16, "PSW size incorrect"); + +/* Older PSW format used by LPSW instruction */ +typedef struct PSWLegacy { + uint32_t mask; + uint32_t addr; +} __attribute__ ((aligned(8))) PSWLegacy; +_Static_assert(sizeof(struct PSWLegacy) == 8, "PSWLegacy size incorrect"); + +/* s390 psw bit masks */ +#define PSW_MASK_IOINT 0x0200000000000000ULL +#define PSW_MASK_WAIT 0x0002000000000000ULL +#define PSW_MASK_EAMODE 0x0000000100000000ULL +#define PSW_MASK_BAMODE 0x0000000080000000ULL +#define PSW_MASK_ZMODE (PSW_MASK_EAMODE | PSW_MASK_BAMODE) + +/* Low core mapping */ +typedef struct LowCore { + /* prefix area: defined by architecture */ + PSWLegacy ipl_psw; /* 0x000 */ + uint32_t ccw1[2]; /* 0x008 */ + uint32_t ccw2[2]; /* 0x010 */ + uint8_t pad1[0x80 - 0x18]; /* 0x018 */ + uint32_t ext_params; /* 0x080 */ + uint16_t cpu_addr; /* 0x084 */ + uint16_t ext_int_code; /* 0x086 */ + uint16_t svc_ilen; /* 0x088 */ + uint16_t svc_code; /* 0x08a */ + uint16_t pgm_ilen; /* 0x08c */ + uint16_t pgm_code; /* 0x08e */ + uint32_t data_exc_code; /* 0x090 */ + uint16_t mon_class_num; /* 0x094 */ + uint16_t per_perc_atmid; /* 0x096 */ + uint64_t per_address; /* 0x098 */ + uint8_t exc_access_id; /* 0x0a0 */ + uint8_t per_access_id; /* 0x0a1 */ + uint8_t op_access_id; /* 0x0a2 */ + uint8_t ar_access_id; /* 0x0a3 */ + uint8_t pad2[0xA8 - 0xA4]; /* 0x0a4 */ + uint64_t trans_exc_code; /* 0x0a8 */ + uint64_t monitor_code; /* 0x0b0 */ + uint16_t subchannel_id; /* 0x0b8 */ + uint16_t subchannel_nr; /* 0x0ba */ + uint32_t io_int_parm; /* 0x0bc */ + uint32_t io_int_word; /* 0x0c0 */ + uint8_t pad3[0xc8 - 0xc4]; /* 0x0c4 */ + uint32_t stfl_fac_list; /* 0x0c8 */ + uint8_t pad4[0xe8 - 0xcc]; /* 0x0cc */ + uint64_t mcic; /* 0x0e8 */ + uint8_t pad5[0xf4 - 0xf0]; /* 0x0f0 */ + uint32_t external_damage_code; /* 0x0f4 */ + uint64_t failing_storage_address; /* 0x0f8 */ + uint8_t pad6[0x110 - 0x100]; /* 0x100 */ + uint64_t per_breaking_event_addr; /* 0x110 */ + uint8_t pad7[0x120 - 0x118]; /* 0x118 */ + PSW restart_old_psw; /* 0x120 */ + PSW external_old_psw; /* 0x130 */ + PSW svc_old_psw; /* 0x140 */ + PSW program_old_psw; /* 0x150 */ + PSW mcck_old_psw; /* 0x160 */ + PSW io_old_psw; /* 0x170 */ + uint8_t pad8[0x1a0 - 0x180]; /* 0x180 */ + PSW restart_new_psw; /* 0x1a0 */ + PSW external_new_psw; /* 0x1b0 */ + PSW svc_new_psw; /* 0x1c0 */ + PSW program_new_psw; /* 0x1d0 */ + PSW mcck_new_psw; /* 0x1e0 */ + PSW io_new_psw; /* 0x1f0 */ +} __attribute__((packed, aligned(8192))) LowCore; + +extern LowCore const *lowcore; + +#endif From 1fb3e5cde8dcd9b5917aea9a0b2918e16be8be1e Mon Sep 17 00:00:00 2001 From: "Jason J. Herne" Date: Thu, 4 Apr 2019 10:34:26 -0400 Subject: [PATCH 07/17] s390-bios: ptr2u32 and u32toptr Introduce inline functions to convert between pointers and unsigned 32-bit ints. These are used to hide the ugliness required to avoid compiler warnings. Signed-off-by: Jason J. Herne Acked-by: Cornelia Huck Reviewed-by: Thomas Huth Message-Id: <1554388475-18329-8-git-send-email-jjherne@linux.ibm.com> Signed-off-by: Thomas Huth --- pc-bios/s390-ccw/helper.h | 31 +++++++++++++++++++++++++++++++ 1 file changed, 31 insertions(+) create mode 100644 pc-bios/s390-ccw/helper.h diff --git a/pc-bios/s390-ccw/helper.h b/pc-bios/s390-ccw/helper.h new file mode 100644 index 0000000000..78d5bc7442 --- /dev/null +++ b/pc-bios/s390-ccw/helper.h @@ -0,0 +1,31 @@ +/* + * Helper Functions + * + * Copyright (c) 2019 IBM Corp. + * + * Author(s): Jason J. Herne + * + * This work is licensed under the terms of the GNU GPL, version 2 or (at + * your option) any later version. See the COPYING file in the top-level + * directory. + */ + +#ifndef S390_CCW_HELPER_H +#define S390_CCW_HELPER_H + +#include "s390-ccw.h" + +/* Avoids compiler warnings when casting a pointer to a u32 */ +static inline uint32_t ptr2u32(void *ptr) +{ + IPL_assert((uint64_t)ptr <= 0xffffffff, "ptr2u32: ptr too large"); + return (uint32_t)(uint64_t)ptr; +} + +/* Avoids compiler warnings when casting a u32 to a pointer */ +static inline void *u32toptr(uint32_t n) +{ + return (void *)(uint64_t)n; +} + +#endif From 3083a1bbb8716e9052fe375f68f330107ee13127 Mon Sep 17 00:00:00 2001 From: "Jason J. Herne" Date: Thu, 4 Apr 2019 10:34:27 -0400 Subject: [PATCH 08/17] s390-bios: Support for running format-0/1 channel programs Introduce a library function for executing format-0 and format-1 channel programs and waiting for their completion before continuing execution. Add cu_type() to channel io library. This will be used to query control unit type which is used to determine if we are booting a virtio device or a real dasd device. Signed-off-by: Jason J. Herne Reviewed-by: Cornelia Huck Reviewed-by: Farhan Ali Message-Id: <1554388475-18329-9-git-send-email-jjherne@linux.ibm.com> Signed-off-by: Thomas Huth --- pc-bios/s390-ccw/cio.c | 144 ++++++++++++++++++++++++++++++++++++ pc-bios/s390-ccw/cio.h | 130 +++++++++++++++++++++++++++++++- pc-bios/s390-ccw/s390-ccw.h | 1 + pc-bios/s390-ccw/start.S | 29 ++++++++ 4 files changed, 301 insertions(+), 3 deletions(-) diff --git a/pc-bios/s390-ccw/cio.c b/pc-bios/s390-ccw/cio.c index 87c6b34e88..c43e50b00b 100644 --- a/pc-bios/s390-ccw/cio.c +++ b/pc-bios/s390-ccw/cio.c @@ -13,10 +13,14 @@ #include "libc.h" #include "s390-ccw.h" +#include "s390-arch.h" +#include "helper.h" #include "cio.h" static char chsc_page[PAGE_SIZE] __attribute__((__aligned__(PAGE_SIZE))); +static int __do_cio(SubChannelId schid, uint32_t ccw_addr, int fmt, Irb *irb); + int enable_mss_facility(void) { int ret; @@ -42,3 +46,143 @@ void enable_subchannel(SubChannelId schid) schib.pmcw.ena = 1; msch(schid, &schib); } + +uint16_t cu_type(SubChannelId schid) +{ + Ccw1 sense_id_ccw; + SenseId sense_data; + + sense_id_ccw.cmd_code = CCW_CMD_SENSE_ID; + sense_id_ccw.cda = ptr2u32(&sense_data); + sense_id_ccw.count = sizeof(sense_data); + sense_id_ccw.flags |= CCW_FLAG_SLI; + + if (do_cio(schid, CU_TYPE_UNKNOWN, ptr2u32(&sense_id_ccw), CCW_FMT1)) { + panic("Failed to run SenseID CCw\n"); + } + + return sense_data.cu_type; +} + +int basic_sense(SubChannelId schid, uint16_t cutype, void *sense_data, + uint16_t data_size) +{ + Ccw1 senseCcw; + Irb irb; + + senseCcw.cmd_code = CCW_CMD_BASIC_SENSE; + senseCcw.cda = ptr2u32(sense_data); + senseCcw.count = data_size; + + return __do_cio(schid, ptr2u32(&senseCcw), CCW_FMT1, &irb); +} + +static bool irb_error(Irb *irb) +{ + if (irb->scsw.cstat) { + return true; + } + return irb->scsw.dstat != (SCSW_DSTAT_DEVEND | SCSW_DSTAT_CHEND); +} + +/* + * Handles executing ssch, tsch and returns the irb obtained from tsch. + * Returns 0 on success, -1 if unexpected status pending and we need to retry, + * otherwise returns condition code from ssch/tsch for error cases. + */ +static int __do_cio(SubChannelId schid, uint32_t ccw_addr, int fmt, Irb *irb) +{ + CmdOrb orb = {}; + int rc; + + IPL_assert(fmt == 0 || fmt == 1, "Invalid ccw format"); + + /* ccw_addr must be <= 24 bits and point to at least one whole ccw. */ + if (fmt == 0) { + IPL_assert(ccw_addr <= 0xFFFFFF - 8, "Invalid ccw address"); + } + + orb.fmt = fmt; + orb.pfch = 1; /* QEMU's cio implementation requires prefetch */ + orb.c64 = 1; /* QEMU's cio implementation requires 64-bit idaws */ + orb.lpm = 0xFF; /* All paths allowed */ + orb.cpa = ccw_addr; + + rc = ssch(schid, &orb); + if (rc == 1 || rc == 2) { + /* Subchannel status pending or busy. Eat status and ask for retry. */ + tsch(schid, irb); + return -1; + } + if (rc) { + print_int("ssch failed with cc=", rc); + return rc; + } + + consume_io_int(); + + /* collect status */ + rc = tsch(schid, irb); + if (rc) { + print_int("tsch failed with cc=", rc); + } + + return rc; +} + +/* + * Executes a channel program at a given subchannel. The request to run the + * channel program is sent to the subchannel, we then wait for the interrupt + * signaling completion of the I/O operation(s) performed by the channel + * program. Lastly we verify that the i/o operation completed without error and + * that the interrupt we received was for the subchannel used to run the + * channel program. + * + * Note: This function assumes it is running in an environment where no other + * cpus are generating or receiving I/O interrupts. So either run it in a + * single-cpu environment or make sure all other cpus are not doing I/O and + * have I/O interrupts masked off. We also assume that only one device is + * active (generating i/o interrupts). + * + * Returns non-zero on error. + */ +int do_cio(SubChannelId schid, uint16_t cutype, uint32_t ccw_addr, int fmt) +{ + Irb irb = {}; + SenseDataEckdDasd sd; + int rc, retries = 0; + + while (true) { + rc = __do_cio(schid, ccw_addr, fmt, &irb); + + if (rc == -1) { + retries++; + continue; + } + if (rc) { + /* ssch/tsch error. Message already reported by __do_cio */ + break; + } + + if (!irb_error(&irb)) { + break; + } + + /* + * Unexpected unit check, or interface-control-check. Use sense to + * clear (unit check only) then retry. + */ + if ((unit_check(&irb) || iface_ctrl_check(&irb)) && retries <= 2) { + if (unit_check(&irb)) { + basic_sense(schid, cutype, &sd, sizeof(sd)); + } + retries++; + continue; + } + + rc = -1; + break; + } + + return rc; +} diff --git a/pc-bios/s390-ccw/cio.h b/pc-bios/s390-ccw/cio.h index 218fd96ea3..1637e32070 100644 --- a/pc-bios/s390-ccw/cio.h +++ b/pc-bios/s390-ccw/cio.h @@ -70,9 +70,46 @@ struct scsw { __u16 count; } __attribute__ ((packed)); -#define SCSW_FCTL_CLEAR_FUNC 0x1000 -#define SCSW_FCTL_HALT_FUNC 0x2000 +/* Function Control */ #define SCSW_FCTL_START_FUNC 0x4000 +#define SCSW_FCTL_HALT_FUNC 0x2000 +#define SCSW_FCTL_CLEAR_FUNC 0x1000 + +/* Activity Control */ +#define SCSW_ACTL_RESUME_PEND 0x0800 +#define SCSW_ACTL_START_PEND 0x0400 +#define SCSW_ACTL_HALT_PEND 0x0200 +#define SCSW_ACTL_CLEAR_PEND 0x0100 +#define SCSW_ACTL_CH_ACTIVE 0x0080 +#define SCSW_ACTL_DEV_ACTIVE 0x0040 +#define SCSW_ACTL_SUSPENDED 0x0020 + +/* Status Control */ +#define SCSW_SCTL_ALERT 0x0010 +#define SCSW_SCTL_INTERMED 0x0008 +#define SCSW_SCTL_PRIMARY 0x0004 +#define SCSW_SCTL_SECONDARY 0x0002 +#define SCSW_SCTL_STATUS_PEND 0x0001 + +/* SCSW Device Status Flags */ +#define SCSW_DSTAT_ATTN 0x80 +#define SCSW_DSTAT_STATMOD 0x40 +#define SCSW_DSTAT_CUEND 0x20 +#define SCSW_DSTAT_BUSY 0x10 +#define SCSW_DSTAT_CHEND 0x08 +#define SCSW_DSTAT_DEVEND 0x04 +#define SCSW_DSTAT_UCHK 0x02 +#define SCSW_DSTAT_UEXCP 0x01 + +/* SCSW Subchannel Status Flags */ +#define SCSW_CSTAT_PCINT 0x80 +#define SCSW_CSTAT_BADLEN 0x40 +#define SCSW_CSTAT_PROGCHK 0x20 +#define SCSW_CSTAT_PROTCHK 0x10 +#define SCSW_CSTAT_CHDCHK 0x08 +#define SCSW_CSTAT_CHCCHK 0x04 +#define SCSW_CSTAT_ICCHK 0x02 +#define SCSW_CSTAT_CHAINCHK 0x01 /* * subchannel information block @@ -127,7 +164,23 @@ struct tpi_info { __u32 reserved4:12; } __attribute__ ((packed, aligned(4))); -/* channel command word (type 1) */ +/* channel command word (format 0) */ +typedef struct ccw0 { + __u8 cmd_code; + __u32 cda:24; + __u32 chainData:1; + __u32 chain:1; + __u32 sli:1; + __u32 skip:1; + __u32 pci:1; + __u32 ida:1; + __u32 suspend:1; + __u32 mida:1; + __u8 reserved; + __u16 count; +} __attribute__ ((packed, aligned(8))) Ccw0; + +/* channel command word (format 1) */ typedef struct ccw1 { __u8 cmd_code; __u8 flags; @@ -135,6 +188,10 @@ typedef struct ccw1 { __u32 cda; } __attribute__ ((packed, aligned(8))) Ccw1; +/* do_cio() CCW formats */ +#define CCW_FMT0 0x00 +#define CCW_FMT1 0x01 + #define CCW_FLAG_DC 0x80 #define CCW_FLAG_CC 0x40 #define CCW_FLAG_SLI 0x20 @@ -190,6 +247,11 @@ struct ciw { __u16 count; }; +#define CU_TYPE_UNKNOWN 0x0000 +#define CU_TYPE_DASD_2107 0x2107 +#define CU_TYPE_VIRTIO 0x3832 +#define CU_TYPE_DASD_3990 0x3990 + /* * sense-id response buffer layout */ @@ -205,6 +267,64 @@ typedef struct senseid { struct ciw ciw[62]; } __attribute__ ((packed, aligned(4))) SenseId; +/* + * architected values for first sense byte - common_status. Bits 0-5 of this + * field are common to all device types. + */ +#define SNS_STAT0_CMD_REJECT 0x80 +#define SNS_STAT0_INTERVENTION_REQ 0x40 +#define SNS_STAT0_BUS_OUT_CHECK 0x20 +#define SNS_STAT0_EQUIPMENT_CHECK 0x10 +#define SNS_STAT0_DATA_CHECK 0x08 +#define SNS_STAT0_OVERRUN 0x04 +#define SNS_STAT0_INCOMPL_DOMAIN 0x01 + +/* ECKD DASD status[0] byte */ +#define SNS_STAT1_PERM_ERR 0x80 +#define SNS_STAT1_INV_TRACK_FORMAT 0x40 +#define SNS_STAT1_EOC 0x20 +#define SNS_STAT1_MESSAGE_TO_OPER 0x10 +#define SNS_STAT1_NO_REC_FOUND 0x08 +#define SNS_STAT1_FILE_PROTECTED 0x04 +#define SNS_STAT1_WRITE_INHIBITED 0x02 +#define SNS_STAT1_IMPRECISE_END 0x01 + +/* ECKD DASD status[1] byte */ +#define SNS_STAT2_REQ_INH_WRITE 0x80 +#define SNS_STAT2_CORRECTABLE 0x40 +#define SNS_STAT2_FIRST_LOG_ERR 0x20 +#define SNS_STAT2_ENV_DATA_PRESENT 0x10 +#define SNS_STAT2_IMPRECISE_END 0x04 + +/* ECKD DASD 24-byte Sense fmt_msg codes */ +#define SENSE24_FMT_PROG_SYS 0x0 +#define SENSE24_FMT_EQUIPMENT 0x2 +#define SENSE24_FMT_CONTROLLER 0x3 +#define SENSE24_FMT_MISC 0xF + +/* basic sense response buffer layout */ +typedef struct SenseDataEckdDasd { + uint8_t common_status; + uint8_t status[2]; + uint8_t res_count; + uint8_t phys_drive_id; + uint8_t low_cyl_addr; + uint8_t head_high_cyl_addr; + uint8_t fmt_msg; + uint64_t fmt_dependent_info[2]; + uint8_t reserved; + uint8_t program_action_code; + uint16_t config_info; + uint8_t mcode_hicyl; + uint8_t cyl_head_addr[3]; +} __attribute__ ((packed, aligned(4))) SenseDataEckdDasd; + +#define ECKD_SENSE24_GET_FMT(sd) (sd->fmt_msg & 0xF0 >> 4) +#define ECKD_SENSE24_GET_MSG(sd) (sd->fmt_msg & 0x0F) + +#define unit_check(irb) ((irb)->scsw.dstat & SCSW_DSTAT_UCHK) +#define iface_ctrl_check(irb) ((irb)->scsw.cstat & SCSW_CSTAT_ICCHK) + /* interruption response block */ typedef struct irb { struct scsw scsw; @@ -215,6 +335,10 @@ typedef struct irb { int enable_mss_facility(void); void enable_subchannel(SubChannelId schid); +uint16_t cu_type(SubChannelId schid); +int basic_sense(SubChannelId schid, uint16_t cutype, void *sense_data, + uint16_t data_size); +int do_cio(SubChannelId schid, uint16_t cutype, uint32_t ccw_addr, int fmt); /* * Some S390 specific IO instructions as inline diff --git a/pc-bios/s390-ccw/s390-ccw.h b/pc-bios/s390-ccw/s390-ccw.h index b39ee5d323..11bce7d73c 100644 --- a/pc-bios/s390-ccw/s390-ccw.h +++ b/pc-bios/s390-ccw/s390-ccw.h @@ -52,6 +52,7 @@ typedef unsigned long long __u64; /* start.s */ void disabled_wait(void); void consume_sclp_int(void); +void consume_io_int(void); /* main.c */ void panic(const char *string); diff --git a/pc-bios/s390-ccw/start.S b/pc-bios/s390-ccw/start.S index 5c22cb0849..aa8fceb19d 100644 --- a/pc-bios/s390-ccw/start.S +++ b/pc-bios/s390-ccw/start.S @@ -71,6 +71,26 @@ consume_sclp_int: larl %r1, enabled_wait_psw lpswe 0(%r1) +/* + * void consume_io_int(void) + * + * eats one I/O interrupt + */ + .globl consume_io_int +consume_io_int: + /* enable I/O interrupts in cr6 */ + stctg %c6,%c6,0(%r15) + oi 4(%r15), 0xff + lctlg %c6,%c6,0(%r15) + /* prepare i/o call handler */ + larl %r1, io_new_code + stg %r1, 0x1f8 + larl %r1, io_new_mask + mvc 0x1f0(8),0(%r1) + /* load enabled wait PSW */ + larl %r1, enabled_wait_psw + lpswe 0(%r1) + external_new_code: /* disable service interrupts in cr0 */ stctg %c0,%c0,0(%r15) @@ -78,6 +98,13 @@ external_new_code: lctlg %c0,%c0,0(%r15) br %r14 +io_new_code: + /* disable I/O interrupts in cr6 */ + stctg %c6,%c6,0(%r15) + ni 4(%r15), 0x00 + lctlg %c6,%c6,0(%r15) + br %r14 + .align 8 disabled_wait_psw: .quad 0x0002000180000000,0x0000000000000000 @@ -85,3 +112,5 @@ enabled_wait_psw: .quad 0x0302000180000000,0x0000000000000000 external_new_mask: .quad 0x0000000180000000 +io_new_mask: + .quad 0x0000000180000000 From 86c58705bb186cfa73a03851047da2c2c37b9418 Mon Sep 17 00:00:00 2001 From: "Jason J. Herne" Date: Thu, 4 Apr 2019 10:34:28 -0400 Subject: [PATCH 09/17] s390-bios: cio error handling Add verbose error output for when unexpected i/o errors happen. This eases the burden of debugging and reporting i/o errors. No error information is printed in the success case, here is an example of what is output on error: cio device error ssid : 0x0000000000000000 cssid : 0x0000000000000000 sch_no: 0x0000000000000000 Interrupt Response Block Data: Function Ctrl : [Start] Activity Ctrl : [Start-Pending] Status Ctrl : [Alert] [Primary] [Secondary] [Status-Pending] Device Status : [Unit-Check] Channel Status : cpa=: 0x000000007f8d6038 prev_ccw=: 0x0000000000000000 this_ccw=: 0x0000000000000000 Eckd Dasd Sense Data (fmt 32-bytes): Sense Condition Flags : Residual Count =: 0x0000000000000000 Phys Drive ID =: 0x000000000000009e low cyl address =: 0x0000000000000000 head addr & hi cyl =: 0x0000000000000000 format/message =: 0x0000000000000008 fmt-dependent[0-7] =: 0x0000000000000004 fmt-dependent[8-15]=: 0xe561282305082fff prog action code =: 0x0000000000000016 Configuration info =: 0x00000000000040e0 mcode / hi-cyl =: 0x0000000000000000 cyl & head addr [0]=: 0x0000000000000000 cyl & head addr [1]=: 0x0000000000000000 cyl & head addr [2]=: 0x0000000000000000 The Sense Data section is currently only printed for ECKD DASD. Signed-off-by: Jason J. Herne Reviewed-by: Cornelia Huck Message-Id: <1554388475-18329-10-git-send-email-jjherne@linux.ibm.com> Signed-off-by: Thomas Huth --- pc-bios/s390-ccw/cio.c | 235 ++++++++++++++++++++++++++++++++++++++++ pc-bios/s390-ccw/libc.h | 11 ++ 2 files changed, 246 insertions(+) diff --git a/pc-bios/s390-ccw/cio.c b/pc-bios/s390-ccw/cio.c index c43e50b00b..339ec5fbe7 100644 --- a/pc-bios/s390-ccw/cio.c +++ b/pc-bios/s390-ccw/cio.c @@ -85,6 +85,228 @@ static bool irb_error(Irb *irb) return irb->scsw.dstat != (SCSW_DSTAT_DEVEND | SCSW_DSTAT_CHEND); } +static void print_eckd_dasd_sense_data(SenseDataEckdDasd *sd) +{ + char msgline[512]; + + if (sd->config_info & 0x8000) { + sclp_print("Eckd Dasd Sense Data (fmt 24-bytes):\n"); + } else { + sclp_print("Eckd Dasd Sense Data (fmt 32-bytes):\n"); + } + + strcat(msgline, " Sense Condition Flags :"); + if (sd->common_status & SNS_STAT0_CMD_REJECT) { + strcat(msgline, " [Cmd-Reject]"); + } + if (sd->common_status & SNS_STAT0_INTERVENTION_REQ) { + strcat(msgline, " [Intervention-Required]"); + } + if (sd->common_status & SNS_STAT0_BUS_OUT_CHECK) { + strcat(msgline, " [Bus-Out-Parity-Check]"); + } + if (sd->common_status & SNS_STAT0_EQUIPMENT_CHECK) { + strcat(msgline, " [Equipment-Check]"); + } + if (sd->common_status & SNS_STAT0_DATA_CHECK) { + strcat(msgline, " [Data-Check]"); + } + if (sd->common_status & SNS_STAT0_OVERRUN) { + strcat(msgline, " [Overrun]"); + } + if (sd->common_status & SNS_STAT0_INCOMPL_DOMAIN) { + strcat(msgline, " [Incomplete-Domain]"); + } + + if (sd->status[0] & SNS_STAT1_PERM_ERR) { + strcat(msgline, " [Permanent-Error]"); + } + if (sd->status[0] & SNS_STAT1_INV_TRACK_FORMAT) { + strcat(msgline, " [Invalid-Track-Fmt]"); + } + if (sd->status[0] & SNS_STAT1_EOC) { + strcat(msgline, " [End-of-Cyl]"); + } + if (sd->status[0] & SNS_STAT1_MESSAGE_TO_OPER) { + strcat(msgline, " [Operator-Msg]"); + } + if (sd->status[0] & SNS_STAT1_NO_REC_FOUND) { + strcat(msgline, " [No-Record-Found]"); + } + if (sd->status[0] & SNS_STAT1_FILE_PROTECTED) { + strcat(msgline, " [File-Protected]"); + } + if (sd->status[0] & SNS_STAT1_WRITE_INHIBITED) { + strcat(msgline, " [Write-Inhibited]"); + } + if (sd->status[0] & SNS_STAT1_IMPRECISE_END) { + strcat(msgline, " [Imprecise-Ending]"); + } + + if (sd->status[1] & SNS_STAT2_REQ_INH_WRITE) { + strcat(msgline, " [Req-Inhibit-Write]"); + } + if (sd->status[1] & SNS_STAT2_CORRECTABLE) { + strcat(msgline, " [Correctable-Data-Check]"); + } + if (sd->status[1] & SNS_STAT2_FIRST_LOG_ERR) { + strcat(msgline, " [First-Error-Log]"); + } + if (sd->status[1] & SNS_STAT2_ENV_DATA_PRESENT) { + strcat(msgline, " [Env-Data-Present]"); + } + if (sd->status[1] & SNS_STAT2_IMPRECISE_END) { + strcat(msgline, " [Imprecise-End]"); + } + strcat(msgline, "\n"); + sclp_print(msgline); + + print_int(" Residual Count =", sd->res_count); + print_int(" Phys Drive ID =", sd->phys_drive_id); + print_int(" low cyl address =", sd->low_cyl_addr); + print_int(" head addr & hi cyl =", sd->head_high_cyl_addr); + print_int(" format/message =", sd->fmt_msg); + print_int(" fmt-dependent[0-7] =", sd->fmt_dependent_info[0]); + print_int(" fmt-dependent[8-15]=", sd->fmt_dependent_info[1]); + print_int(" prog action code =", sd->program_action_code); + print_int(" Configuration info =", sd->config_info); + print_int(" mcode / hi-cyl =", sd->mcode_hicyl); + print_int(" cyl & head addr [0]=", sd->cyl_head_addr[0]); + print_int(" cyl & head addr [1]=", sd->cyl_head_addr[1]); + print_int(" cyl & head addr [2]=", sd->cyl_head_addr[2]); +} + +static void print_irb_err(Irb *irb) +{ + uint64_t this_ccw = *(uint64_t *)u32toptr(irb->scsw.cpa); + uint64_t prev_ccw = *(uint64_t *)u32toptr(irb->scsw.cpa - 8); + char msgline[256]; + + sclp_print("Interrupt Response Block Data:\n"); + + strcat(msgline, " Function Ctrl :"); + if (irb->scsw.ctrl & SCSW_FCTL_START_FUNC) { + strcat(msgline, " [Start]"); + } + if (irb->scsw.ctrl & SCSW_FCTL_HALT_FUNC) { + strcat(msgline, " [Halt]"); + } + if (irb->scsw.ctrl & SCSW_FCTL_CLEAR_FUNC) { + strcat(msgline, " [Clear]"); + } + strcat(msgline, "\n"); + sclp_print(msgline); + + msgline[0] = '\0'; + strcat(msgline, " Activity Ctrl :"); + if (irb->scsw.ctrl & SCSW_ACTL_RESUME_PEND) { + strcat(msgline, " [Resume-Pending]"); + } + if (irb->scsw.ctrl & SCSW_ACTL_START_PEND) { + strcat(msgline, " [Start-Pending]"); + } + if (irb->scsw.ctrl & SCSW_ACTL_HALT_PEND) { + strcat(msgline, " [Halt-Pending]"); + } + if (irb->scsw.ctrl & SCSW_ACTL_CLEAR_PEND) { + strcat(msgline, " [Clear-Pending]"); + } + if (irb->scsw.ctrl & SCSW_ACTL_CH_ACTIVE) { + strcat(msgline, " [Channel-Active]"); + } + if (irb->scsw.ctrl & SCSW_ACTL_DEV_ACTIVE) { + strcat(msgline, " [Device-Active]"); + } + if (irb->scsw.ctrl & SCSW_ACTL_SUSPENDED) { + strcat(msgline, " [Suspended]"); + } + strcat(msgline, "\n"); + sclp_print(msgline); + + msgline[0] = '\0'; + strcat(msgline, " Status Ctrl :"); + if (irb->scsw.ctrl & SCSW_SCTL_ALERT) { + strcat(msgline, " [Alert]"); + } + if (irb->scsw.ctrl & SCSW_SCTL_INTERMED) { + strcat(msgline, " [Intermediate]"); + } + if (irb->scsw.ctrl & SCSW_SCTL_PRIMARY) { + strcat(msgline, " [Primary]"); + } + if (irb->scsw.ctrl & SCSW_SCTL_SECONDARY) { + strcat(msgline, " [Secondary]"); + } + if (irb->scsw.ctrl & SCSW_SCTL_STATUS_PEND) { + strcat(msgline, " [Status-Pending]"); + } + + strcat(msgline, "\n"); + sclp_print(msgline); + + msgline[0] = '\0'; + strcat(msgline, " Device Status :"); + if (irb->scsw.dstat & SCSW_DSTAT_ATTN) { + strcat(msgline, " [Attention]"); + } + if (irb->scsw.dstat & SCSW_DSTAT_STATMOD) { + strcat(msgline, " [Status-Modifier]"); + } + if (irb->scsw.dstat & SCSW_DSTAT_CUEND) { + strcat(msgline, " [Ctrl-Unit-End]"); + } + if (irb->scsw.dstat & SCSW_DSTAT_BUSY) { + strcat(msgline, " [Busy]"); + } + if (irb->scsw.dstat & SCSW_DSTAT_CHEND) { + strcat(msgline, " [Channel-End]"); + } + if (irb->scsw.dstat & SCSW_DSTAT_DEVEND) { + strcat(msgline, " [Device-End]"); + } + if (irb->scsw.dstat & SCSW_DSTAT_UCHK) { + strcat(msgline, " [Unit-Check]"); + } + if (irb->scsw.dstat & SCSW_DSTAT_UEXCP) { + strcat(msgline, " [Unit-Exception]"); + } + strcat(msgline, "\n"); + sclp_print(msgline); + + msgline[0] = '\0'; + strcat(msgline, " Channel Status :"); + if (irb->scsw.cstat & SCSW_CSTAT_PCINT) { + strcat(msgline, " [Program-Ctrl-Interruption]"); + } + if (irb->scsw.cstat & SCSW_CSTAT_BADLEN) { + strcat(msgline, " [Incorrect-Length]"); + } + if (irb->scsw.cstat & SCSW_CSTAT_PROGCHK) { + strcat(msgline, " [Program-Check]"); + } + if (irb->scsw.cstat & SCSW_CSTAT_PROTCHK) { + strcat(msgline, " [Protection-Check]"); + } + if (irb->scsw.cstat & SCSW_CSTAT_CHDCHK) { + strcat(msgline, " [Channel-Data-Check]"); + } + if (irb->scsw.cstat & SCSW_CSTAT_CHCCHK) { + strcat(msgline, " [Channel-Ctrl-Check]"); + } + if (irb->scsw.cstat & SCSW_CSTAT_ICCHK) { + strcat(msgline, " [Interface-Ctrl-Check]"); + } + if (irb->scsw.cstat & SCSW_CSTAT_CHAINCHK) { + strcat(msgline, " [Chaining-Check]"); + } + strcat(msgline, "\n"); + sclp_print(msgline); + + print_int(" cpa=", irb->scsw.cpa); + print_int(" prev_ccw=", prev_ccw); + print_int(" this_ccw=", this_ccw); +} + /* * Handles executing ssch, tsch and returns the irb obtained from tsch. * Returns 0 on success, -1 if unexpected status pending and we need to retry, @@ -180,6 +402,19 @@ int do_cio(SubChannelId schid, uint16_t cutype, uint32_t ccw_addr, int fmt) continue; } + sclp_print("cio device error\n"); + print_int(" ssid ", schid.ssid); + print_int(" cssid ", schid.cssid); + print_int(" sch_no", schid.sch_no); + print_int(" ctrl-unit type", cutype); + sclp_print("\n"); + print_irb_err(&irb); + if (cutype == CU_TYPE_DASD_3990 || cutype == CU_TYPE_DASD_2107 || + cutype == CU_TYPE_UNKNOWN) { + if (!basic_sense(schid, cutype, &sd, sizeof(sd))) { + print_eckd_dasd_sense_data(&sd); + } + } rc = -1; break; } diff --git a/pc-bios/s390-ccw/libc.h b/pc-bios/s390-ccw/libc.h index 818517ff5d..bcdc45732d 100644 --- a/pc-bios/s390-ccw/libc.h +++ b/pc-bios/s390-ccw/libc.h @@ -67,6 +67,17 @@ static inline size_t strlen(const char *str) return i; } +static inline char *strcat(char *dest, const char *src) +{ + int i; + char *dest_end = dest + strlen(dest); + + for (i = 0; i <= strlen(src); i++) { + dest_end[i] = src[i]; + } + return dest; +} + static inline int isdigit(int c) { return (c >= '0') && (c <= '9'); From 930072d2bf30986e57dac5c5945a32492f288944 Mon Sep 17 00:00:00 2001 From: "Jason J. Herne" Date: Thu, 4 Apr 2019 10:34:29 -0400 Subject: [PATCH 10/17] s390-bios: Extend find_dev() for non-virtio devices We need a method for finding the subchannel of a dasd device. Let's modify find_dev to handle this since it mostly does what we need. Up to this point find_dev has been specific to only virtio devices. Signed-off-by: Jason J. Herne Acked-by: Halil Pasic Reviewed-by: Cornelia Huck Message-Id: <1554388475-18329-11-git-send-email-jjherne@linux.ibm.com> Signed-off-by: Thomas Huth --- pc-bios/s390-ccw/main.c | 16 +++++++++++----- 1 file changed, 11 insertions(+), 5 deletions(-) diff --git a/pc-bios/s390-ccw/main.c b/pc-bios/s390-ccw/main.c index e403b5f733..d04ea8972a 100644 --- a/pc-bios/s390-ccw/main.c +++ b/pc-bios/s390-ccw/main.c @@ -52,6 +52,12 @@ unsigned int get_loadparm_index(void) return atoui(loadparm_str); } +/* + * Find the subchannel connected to the given device (dev_no) and fill in the + * subchannel information block (schib) with the connected subchannel's info. + * NOTE: The global variable blk_schid is updated to contain the subchannel + * information. + */ static bool find_dev(Schib *schib, int dev_no) { int i, r; @@ -65,15 +71,15 @@ static bool find_dev(Schib *schib, int dev_no) if (!schib->pmcw.dnv) { continue; } - if (!virtio_is_supported(blk_schid)) { - continue; - } + /* Skip net devices since no IPLB is created and therefore no - * no network bootloader has been loaded + * network bootloader has been loaded */ - if (virtio_get_device_type() == VIRTIO_ID_NET && dev_no < 0) { + if (virtio_is_supported(blk_schid) && + virtio_get_device_type() == VIRTIO_ID_NET && dev_no < 0) { continue; } + if ((dev_no < 0) || (schib->pmcw.dev == dev_no)) { return true; } From 7b361db37b18a75860decc0a85e0194936401d66 Mon Sep 17 00:00:00 2001 From: "Jason J. Herne" Date: Thu, 4 Apr 2019 10:34:30 -0400 Subject: [PATCH 11/17] s390-bios: Factor finding boot device out of virtio code path Make a new routine find_boot_device to locate the boot device for all cases, not just virtio. The error message for the case where no boot device has been specified and a suitable boot device cannot be auto detected was specific to virtio devices. We update this message to remove virtio specific wording. Signed-off-by: Jason J. Herne Reviewed-by: Farhan Ali Reviewed-by: Cornelia Huck Message-Id: <1554388475-18329-12-git-send-email-jjherne@linux.ibm.com> Signed-off-by: Thomas Huth --- pc-bios/s390-ccw/main.c | 85 ++++++++++++++++++++++------------------ tests/boot-serial-test.c | 2 +- 2 files changed, 47 insertions(+), 40 deletions(-) diff --git a/pc-bios/s390-ccw/main.c b/pc-bios/s390-ccw/main.c index d04ea8972a..d3a161c685 100644 --- a/pc-bios/s390-ccw/main.c +++ b/pc-bios/s390-ccw/main.c @@ -58,17 +58,18 @@ unsigned int get_loadparm_index(void) * NOTE: The global variable blk_schid is updated to contain the subchannel * information. */ -static bool find_dev(Schib *schib, int dev_no) +static bool find_subch(int dev_no) { + Schib schib; int i, r; for (i = 0; i < 0x10000; i++) { blk_schid.sch_no = i; - r = stsch_err(blk_schid, schib); + r = stsch_err(blk_schid, &schib); if ((r == 3) || (r == -EIO)) { break; } - if (!schib->pmcw.dnv) { + if (!schib.pmcw.dnv) { continue; } @@ -80,7 +81,7 @@ static bool find_dev(Schib *schib, int dev_no) continue; } - if ((dev_no < 0) || (schib->pmcw.dev == dev_no)) { + if ((dev_no < 0) || (schib.pmcw.dev == dev_no)) { return true; } } @@ -136,56 +137,61 @@ static void boot_setup(void) have_iplb = store_iplb(&iplb); } +static void find_boot_device(void) +{ + VDev *vdev = virtio_get_device(); + int ssid; + bool found; + + if (!have_iplb) { + for (ssid = 0; ssid < 0x3; ssid++) { + blk_schid.ssid = ssid; + found = find_subch(-1); + if (found) { + return; + } + } + panic("Could not find a suitable boot device (none specified)\n"); + } + + switch (iplb.pbt) { + case S390_IPL_TYPE_CCW: + debug_print_int("device no. ", iplb.ccw.devno); + blk_schid.ssid = iplb.ccw.ssid & 0x3; + debug_print_int("ssid ", blk_schid.ssid); + found = find_subch(iplb.ccw.devno); + break; + case S390_IPL_TYPE_QEMU_SCSI: + vdev->scsi_device_selected = true; + vdev->selected_scsi_device.channel = iplb.scsi.channel; + vdev->selected_scsi_device.target = iplb.scsi.target; + vdev->selected_scsi_device.lun = iplb.scsi.lun; + blk_schid.ssid = iplb.scsi.ssid & 0x3; + found = find_subch(iplb.scsi.devno); + break; + default: + panic("List-directed IPL not supported yet!\n"); + } + + IPL_assert(found, "Boot device not found\n"); +} + static void virtio_setup(void) { - Schib schib; - int ssid; - bool found = false; - uint16_t dev_no; VDev *vdev = virtio_get_device(); QemuIplParameters *early_qipl = (QemuIplParameters *)QIPL_ADDRESS; memcpy(&qipl, early_qipl, sizeof(QemuIplParameters)); if (have_iplb) { - switch (iplb.pbt) { - case S390_IPL_TYPE_CCW: - dev_no = iplb.ccw.devno; - debug_print_int("device no. ", dev_no); - blk_schid.ssid = iplb.ccw.ssid & 0x3; - debug_print_int("ssid ", blk_schid.ssid); - found = find_dev(&schib, dev_no); - break; - case S390_IPL_TYPE_QEMU_SCSI: - vdev->scsi_device_selected = true; - vdev->selected_scsi_device.channel = iplb.scsi.channel; - vdev->selected_scsi_device.target = iplb.scsi.target; - vdev->selected_scsi_device.lun = iplb.scsi.lun; - blk_schid.ssid = iplb.scsi.ssid & 0x3; - found = find_dev(&schib, iplb.scsi.devno); - break; - default: - panic("List-directed IPL not supported yet!\n"); - } menu_setup(); - } else { - for (ssid = 0; ssid < 0x3; ssid++) { - blk_schid.ssid = ssid; - found = find_dev(&schib, -1); - if (found) { - break; - } - } } - IPL_assert(found, "No virtio device found"); - if (virtio_get_device_type() == VIRTIO_ID_NET) { sclp_print("Network boot device detected\n"); vdev->netboot_start_addr = qipl.netboot_start_addr; } else { virtio_blk_setup_device(blk_schid); - IPL_assert(virtio_ipl_disk_is_valid(), "No valid IPL device detected"); } } @@ -195,8 +201,9 @@ int main(void) sclp_setup(); css_setup(); boot_setup(); - virtio_setup(); + find_boot_device(); + virtio_setup(); zipl_load(); /* no return */ panic("Failed to load OS from hard disk\n"); diff --git a/tests/boot-serial-test.c b/tests/boot-serial-test.c index c591748aaf..24852d4c7d 100644 --- a/tests/boot-serial-test.c +++ b/tests/boot-serial-test.c @@ -114,7 +114,7 @@ static testdef_t tests[] = { { "sparc", "SS-4", "", "MB86904" }, { "sparc", "SS-600MP", "", "TMS390Z55" }, { "sparc64", "sun4u", "", "UltraSPARC" }, - { "s390x", "s390-ccw-virtio", "", "virtio device" }, + { "s390x", "s390-ccw-virtio", "", "device" }, { "m68k", "mcf5208evb", "", "TT", sizeof(kernel_mcf5208), kernel_mcf5208 }, { "microblaze", "petalogix-s3adsp1800", "", "TT", sizeof(kernel_pls3adsp1800), kernel_pls3adsp1800 }, From 9de6cbb152bee3917e58ad00633eddafb40d6678 Mon Sep 17 00:00:00 2001 From: "Jason J. Herne" Date: Thu, 4 Apr 2019 10:34:31 -0400 Subject: [PATCH 12/17] s390-bios: Refactor virtio to run channel programs via cio Now that we have a Channel I/O library let's modify virtio boot code to make use of it for running channel programs. Signed-off-by: Jason J. Herne Reviewed-by: Cornelia Huck Acked-by: Thomas Huth Message-Id: <1554388475-18329-13-git-send-email-jjherne@linux.ibm.com> Signed-off-by: Thomas Huth --- pc-bios/s390-ccw/virtio.c | 57 +++++++++++++++++++-------------------- 1 file changed, 27 insertions(+), 30 deletions(-) diff --git a/pc-bios/s390-ccw/virtio.c b/pc-bios/s390-ccw/virtio.c index aa9da7253f..35278eaee1 100644 --- a/pc-bios/s390-ccw/virtio.c +++ b/pc-bios/s390-ccw/virtio.c @@ -14,6 +14,7 @@ #include "virtio.h" #include "virtio-scsi.h" #include "bswap.h" +#include "helper.h" #define VRING_WAIT_REPLY_TIMEOUT 30 @@ -89,33 +90,20 @@ int drain_irqs(SubChannelId schid) } } -static int run_ccw(VDev *vdev, int cmd, void *ptr, int len) +static int run_ccw(VDev *vdev, int cmd, void *ptr, int len, bool sli) { Ccw1 ccw = {}; - CmdOrb orb = {}; - int r; - - enable_subchannel(vdev->schid); - - /* start subchannel command */ - orb.fmt = 1; - orb.cpa = (u32)(long)&ccw; - orb.lpm = 0x80; ccw.cmd_code = cmd; ccw.cda = (long)ptr; ccw.count = len; - r = ssch(vdev->schid, &orb); - /* - * XXX Wait until device is done processing the CCW. For now we can - * assume that a simple tsch will have finished the CCW processing, - * but the architecture allows for asynchronous operation - */ - if (!r) { - r = drain_irqs(vdev->schid); + if (sli) { + ccw.flags |= CCW_FLAG_SLI; } - return r; + + enable_subchannel(vdev->schid); + return do_cio(vdev->schid, vdev->senseid.cu_type, ptr2u32(&ccw), CCW_FMT1); } static void vring_init(VRing *vr, VqInfo *info) @@ -257,7 +245,7 @@ void virtio_setup_ccw(VDev *vdev) vdev->config.blk.blk_size = 0; /* mark "illegal" - setup started... */ vdev->guessed_disk_nature = VIRTIO_GDN_NONE; - run_ccw(vdev, CCW_CMD_VDEV_RESET, NULL, 0); + run_ccw(vdev, CCW_CMD_VDEV_RESET, NULL, 0, false); switch (vdev->senseid.cu_model) { case VIRTIO_ID_NET: @@ -278,18 +266,19 @@ void virtio_setup_ccw(VDev *vdev) default: panic("Unsupported virtio device\n"); } - IPL_assert(run_ccw(vdev, CCW_CMD_READ_CONF, &vdev->config, cfg_size) == 0, - "Could not get block device configuration"); + IPL_assert( + run_ccw(vdev, CCW_CMD_READ_CONF, &vdev->config, cfg_size, false) == 0, + "Could not get block device configuration"); /* Feature negotiation */ for (i = 0; i < ARRAY_SIZE(vdev->guest_features); i++) { feats.features = 0; feats.index = i; - rc = run_ccw(vdev, CCW_CMD_READ_FEAT, &feats, sizeof(feats)); + rc = run_ccw(vdev, CCW_CMD_READ_FEAT, &feats, sizeof(feats), false); IPL_assert(rc == 0, "Could not get features bits"); vdev->guest_features[i] &= bswap32(feats.features); feats.features = bswap32(vdev->guest_features[i]); - rc = run_ccw(vdev, CCW_CMD_WRITE_FEAT, &feats, sizeof(feats)); + rc = run_ccw(vdev, CCW_CMD_WRITE_FEAT, &feats, sizeof(feats), false); IPL_assert(rc == 0, "Could not set features bits"); } @@ -306,16 +295,17 @@ void virtio_setup_ccw(VDev *vdev) }; IPL_assert( - run_ccw(vdev, CCW_CMD_READ_VQ_CONF, &config, sizeof(config)) == 0, + run_ccw(vdev, CCW_CMD_READ_VQ_CONF, &config, sizeof(config), false) == 0, "Could not get block device VQ configuration"); info.num = config.num; vring_init(&vdev->vrings[i], &info); vdev->vrings[i].schid = vdev->schid; - IPL_assert(run_ccw(vdev, CCW_CMD_SET_VQ, &info, sizeof(info)) == 0, - "Cannot set VQ info"); + IPL_assert( + run_ccw(vdev, CCW_CMD_SET_VQ, &info, sizeof(info), false) == 0, + "Cannot set VQ info"); } IPL_assert( - run_ccw(vdev, CCW_CMD_WRITE_STATUS, &status, sizeof(status)) == 0, + run_ccw(vdev, CCW_CMD_WRITE_STATUS, &status, sizeof(status), false) == 0, "Could not write status to host"); } @@ -323,8 +313,15 @@ bool virtio_is_supported(SubChannelId schid) { vdev.schid = schid; memset(&vdev.senseid, 0, sizeof(vdev.senseid)); - /* run sense id command */ - if (run_ccw(&vdev, CCW_CMD_SENSE_ID, &vdev.senseid, sizeof(vdev.senseid))) { + + /* + * Run sense id command. + * The size of the senseid data differs between devices (notably, + * between virtio devices and dasds), so specify the largest possible + * size and suppress the incorrect length indication for smaller sizes. + */ + if (run_ccw(&vdev, CCW_CMD_SENSE_ID, &vdev.senseid, sizeof(vdev.senseid), + true)) { return false; } if (vdev.senseid.cu_type == 0x3832) { From 3668cb7ce864ee9351d5d20a1ec6b427cd0b3be4 Mon Sep 17 00:00:00 2001 From: "Jason J. Herne" Date: Thu, 4 Apr 2019 10:34:32 -0400 Subject: [PATCH 13/17] s390-bios: Use control unit type to determine boot method The boot method is different depending on which device type we are booting from. Let's examine the control unit type to determine if we're a virtio device. We'll eventually add a case to check for a real dasd device here as well. Since we have to call enable_subchannel() in main now, might as well remove that call from virtio.c : run_ccw(). This requires adding some additional enable_subchannel calls to not break calls to virtio_is_supported(). Signed-off-by: Jason J. Herne Reviewed-by: Cornelia Huck Reviewed-by: Thomas Huth Message-Id: <1554388475-18329-14-git-send-email-jjherne@linux.ibm.com> Signed-off-by: Thomas Huth --- pc-bios/s390-ccw/main.c | 16 ++++++++++++++-- pc-bios/s390-ccw/netmain.c | 1 + pc-bios/s390-ccw/virtio.c | 1 - 3 files changed, 15 insertions(+), 3 deletions(-) diff --git a/pc-bios/s390-ccw/main.c b/pc-bios/s390-ccw/main.c index d3a161c685..57a10138c6 100644 --- a/pc-bios/s390-ccw/main.c +++ b/pc-bios/s390-ccw/main.c @@ -76,6 +76,7 @@ static bool find_subch(int dev_no) /* Skip net devices since no IPLB is created and therefore no * network bootloader has been loaded */ + enable_subchannel(blk_schid); if (virtio_is_supported(blk_schid) && virtio_get_device_type() == VIRTIO_ID_NET && dev_no < 0) { continue; @@ -198,13 +199,24 @@ static void virtio_setup(void) int main(void) { + uint16_t cutype; + sclp_setup(); css_setup(); boot_setup(); find_boot_device(); + enable_subchannel(blk_schid); - virtio_setup(); - zipl_load(); /* no return */ + cutype = cu_type(blk_schid); + switch (cutype) { + case CU_TYPE_VIRTIO: + virtio_setup(); + zipl_load(); /* no return */ + break; + default: + print_int("Attempting to boot from unexpected device type", cutype); + panic(""); + } panic("Failed to load OS from hard disk\n"); return 0; /* make compiler happy */ diff --git a/pc-bios/s390-ccw/netmain.c b/pc-bios/s390-ccw/netmain.c index 5189c0fc39..f3542cb2cf 100644 --- a/pc-bios/s390-ccw/netmain.c +++ b/pc-bios/s390-ccw/netmain.c @@ -476,6 +476,7 @@ static bool find_net_dev(Schib *schib, int dev_no) if (!schib->pmcw.dnv) { continue; } + enable_subchannel(net_schid); if (!virtio_is_supported(net_schid)) { continue; } diff --git a/pc-bios/s390-ccw/virtio.c b/pc-bios/s390-ccw/virtio.c index 35278eaee1..fb40ca9828 100644 --- a/pc-bios/s390-ccw/virtio.c +++ b/pc-bios/s390-ccw/virtio.c @@ -102,7 +102,6 @@ static int run_ccw(VDev *vdev, int cmd, void *ptr, int len, bool sli) ccw.flags |= CCW_FLAG_SLI; } - enable_subchannel(vdev->schid); return do_cio(vdev->schid, vdev->senseid.cu_type, ptr2u32(&ccw), CCW_FMT1); } From 69333c36dc85b84b021766747cffc2b53df93ae8 Mon Sep 17 00:00:00 2001 From: "Jason J. Herne" Date: Thu, 4 Apr 2019 10:34:33 -0400 Subject: [PATCH 14/17] s390-bios: Add channel command codes/structs needed for dasd-ipl The dasd IPL procedure needs to execute a few previously unused channel commands. Let's define them and their associated data structures. Signed-off-by: Jason J. Herne Acked-by: Cornelia Huck Acked-by: Thomas Huth Message-Id: <1554388475-18329-15-git-send-email-jjherne@linux.ibm.com> Signed-off-by: Thomas Huth --- pc-bios/s390-ccw/cio.h | 23 +++++++++++++++++++++++ 1 file changed, 23 insertions(+) diff --git a/pc-bios/s390-ccw/cio.h b/pc-bios/s390-ccw/cio.h index 1637e32070..aaa432dedd 100644 --- a/pc-bios/s390-ccw/cio.h +++ b/pc-bios/s390-ccw/cio.h @@ -200,11 +200,14 @@ typedef struct ccw1 { #define CCW_FLAG_IDA 0x04 #define CCW_FLAG_SUSPEND 0x02 +/* Common CCW commands */ +#define CCW_CMD_READ_IPL 0x02 #define CCW_CMD_NOOP 0x03 #define CCW_CMD_BASIC_SENSE 0x04 #define CCW_CMD_TIC 0x08 #define CCW_CMD_SENSE_ID 0xe4 +/* Virtio CCW commands */ #define CCW_CMD_SET_VQ 0x13 #define CCW_CMD_VDEV_RESET 0x33 #define CCW_CMD_READ_FEAT 0x12 @@ -216,6 +219,12 @@ typedef struct ccw1 { #define CCW_CMD_SET_CONF_IND 0x53 #define CCW_CMD_READ_VQ_CONF 0x32 +/* DASD CCW commands */ +#define CCW_CMD_DASD_READ 0x06 +#define CCW_CMD_DASD_SEEK 0x07 +#define CCW_CMD_DASD_SEARCH_ID_EQ 0x31 +#define CCW_CMD_DASD_READ_MT 0x86 + /* * Command-mode operation request block */ @@ -333,6 +342,20 @@ typedef struct irb { __u32 emw[8]; } __attribute__ ((packed, aligned(4))) Irb; +/* Used for SEEK ccw commands */ +typedef struct CcwSeekData { + uint16_t reserved; + uint16_t cyl; + uint16_t head; +} __attribute__((packed)) CcwSeekData; + +/* Used for SEARCH ID ccw commands */ +typedef struct CcwSearchIdData { + uint16_t cyl; + uint16_t head; + uint8_t record; +} __attribute__((packed)) CcwSearchIdData; + int enable_mss_facility(void); void enable_subchannel(SubChannelId schid); uint16_t cu_type(SubChannelId schid); From efa47d36da89f4b23c315a7cc085fab0d15eb47c Mon Sep 17 00:00:00 2001 From: "Jason J. Herne" Date: Thu, 4 Apr 2019 10:34:34 -0400 Subject: [PATCH 15/17] s390-bios: Support booting from real dasd device Allows guest to boot from a vfio configured real dasd device. Signed-off-by: Jason J. Herne Reviewed-by: Cornelia Huck Message-Id: <1554388475-18329-16-git-send-email-jjherne@linux.ibm.com> Signed-off-by: Thomas Huth --- MAINTAINERS | 1 + docs/devel/s390-dasd-ipl.txt | 133 ++++++++++++++++++++ pc-bios/s390-ccw/Makefile | 2 +- pc-bios/s390-ccw/dasd-ipl.c | 235 +++++++++++++++++++++++++++++++++++ pc-bios/s390-ccw/dasd-ipl.h | 16 +++ pc-bios/s390-ccw/main.c | 5 + pc-bios/s390-ccw/s390-arch.h | 13 ++ 7 files changed, 404 insertions(+), 1 deletion(-) create mode 100644 docs/devel/s390-dasd-ipl.txt create mode 100644 pc-bios/s390-ccw/dasd-ipl.c create mode 100644 pc-bios/s390-ccw/dasd-ipl.h diff --git a/MAINTAINERS b/MAINTAINERS index f7976aa43d..be53b7d3b7 100644 --- a/MAINTAINERS +++ b/MAINTAINERS @@ -1181,6 +1181,7 @@ S: Supported F: hw/s390x/ipl.* F: pc-bios/s390-ccw/ F: pc-bios/s390-ccw.img +F: docs/devel/s390-dasd-ipl.txt T: git https://github.com/borntraeger/qemu.git s390-next L: qemu-s390x@nongnu.org diff --git a/docs/devel/s390-dasd-ipl.txt b/docs/devel/s390-dasd-ipl.txt new file mode 100644 index 0000000000..9107e048e4 --- /dev/null +++ b/docs/devel/s390-dasd-ipl.txt @@ -0,0 +1,133 @@ +***************************** +***** s390 hardware IPL ***** +***************************** + +The s390 hardware IPL process consists of the following steps. + +1. A READ IPL ccw is constructed in memory location 0x0. + This ccw, by definition, reads the IPL1 record which is located on the disk + at cylinder 0 track 0 record 1. Note that the chain flag is on in this ccw + so when it is complete another ccw will be fetched and executed from memory + location 0x08. + +2. Execute the Read IPL ccw at 0x00, thereby reading IPL1 data into 0x00. + IPL1 data is 24 bytes in length and consists of the following pieces of + information: [psw][read ccw][tic ccw]. When the machine executes the Read + IPL ccw it read the 24-bytes of IPL1 to be read into memory starting at + location 0x0. Then the ccw program at 0x08 which consists of a read + ccw and a tic ccw is automatically executed because of the chain flag from + the original READ IPL ccw. The read ccw will read the IPL2 data into memory + and the TIC (Transfer In Channel) will transfer control to the channel + program contained in the IPL2 data. The TIC channel command is the + equivalent of a branch/jump/goto instruction for channel programs. + NOTE: The ccws in IPL1 are defined by the architecture to be format 0. + +3. Execute IPL2. + The TIC ccw instruction at the end of the IPL1 channel program will begin + the execution of the IPL2 channel program. IPL2 is stage-2 of the boot + process and will contain a larger channel program than IPL1. The point of + IPL2 is to find and load either the operating system or a small program that + loads the operating system from disk. At the end of this step all or some of + the real operating system is loaded into memory and we are ready to hand + control over to the guest operating system. At this point the guest + operating system is entirely responsible for loading any more data it might + need to function. NOTE: The IPL2 channel program might read data into memory + location 0 thereby overwriting the IPL1 psw and channel program. This is ok + as long as the data placed in location 0 contains a psw whose instruction + address points to the guest operating system code to execute at the end of + the IPL/boot process. + NOTE: The ccws in IPL2 are defined by the architecture to be format 0. + +4. Start executing the guest operating system. + The psw that was loaded into memory location 0 as part of the ipl process + should contain the needed flags for the operating system we have loaded. The + psw's instruction address will point to the location in memory where we want + to start executing the operating system. This psw is loaded (via LPSW + instruction) causing control to be passed to the operating system code. + +In a non-virtualized environment this process, handled entirely by the hardware, +is kicked off by the user initiating a "Load" procedure from the hardware +management console. This "Load" procedure crafts a special "Read IPL" ccw in +memory location 0x0 that reads IPL1. It then executes this ccw thereby kicking +off the reading of IPL1 data. Since the channel program from IPL1 will be +written immediately after the special "Read IPL" ccw, the IPL1 channel program +will be executed immediately (the special read ccw has the chaining bit turned +on). The TIC at the end of the IPL1 channel program will cause the IPL2 channel +program to be executed automatically. After this sequence completes the "Load" +procedure then loads the psw from 0x0. + +********************************************************** +***** How this all pertains to QEMU (and the kernel) ***** +********************************************************** + +In theory we should merely have to do the following to IPL/boot a guest +operating system from a DASD device: + +1. Place a "Read IPL" ccw into memory location 0x0 with chaining bit on. +2. Execute channel program at 0x0. +3. LPSW 0x0. + +However, our emulation of the machine's channel program logic within the kernel +is missing one key feature that is required for this process to work: +non-prefetch of ccw data. + +When we start a channel program we pass the channel subsystem parameters via an +ORB (Operation Request Block). One of those parameters is a prefetch bit. If the +bit is on then the vfio-ccw kernel driver is allowed to read the entire channel +program from guest memory before it starts executing it. This means that any +channel commands that read additional channel commands will not work as expected +because the newly read commands will only exist in guest memory and NOT within +the kernel's channel subsystem memory. The kernel vfio-ccw driver currently +requires this bit to be on for all channel programs. This is a problem because +the IPL process consists of transferring control from the "Read IPL" ccw +immediately to the IPL1 channel program that was read by "Read IPL". + +Not being able to turn off prefetch will also prevent the TIC at the end of the +IPL1 channel program from transferring control to the IPL2 channel program. + +Lastly, in some cases (the zipl bootloader for example) the IPL2 program also +transfers control to another channel program segment immediately after reading +it from the disk. So we need to be able to handle this case. + +************************** +***** What QEMU does ***** +************************** + +Since we are forced to live with prefetch we cannot use the very simple IPL +procedure we defined in the preceding section. So we compensate by doing the +following. + +1. Place "Read IPL" ccw into memory location 0x0, but turn off chaining bit. +2. Execute "Read IPL" at 0x0. + + So now IPL1's psw is at 0x0 and IPL1's channel program is at 0x08. + +4. Write a custom channel program that will seek to the IPL2 record and then + execute the READ and TIC ccws from IPL1. Normally the seek is not required + because after reading the IPL1 record the disk is automatically positioned + to read the very next record which will be IPL2. But since we are not reading + both IPL1 and IPL2 as part of the same channel program we must manually set + the position. + +5. Grab the target address of the TIC instruction from the IPL1 channel program. + This address is where the IPL2 channel program starts. + + Now IPL2 is loaded into memory somewhere, and we know the address. + +6. Execute the IPL2 channel program at the address obtained in step #5. + + Because this channel program can be dynamic, we must use a special algorithm + that detects a READ immediately followed by a TIC and breaks the ccw chain + by turning off the chain bit in the READ ccw. When control is returned from + the kernel/hardware to the QEMU bios code we immediately issue another start + subchannel to execute the remaining TIC instruction. This causes the entire + channel program (starting from the TIC) and all needed data to be refetched + thereby stepping around the limitation that would otherwise prevent this + channel program from executing properly. + + Now the operating system code is loaded somewhere in guest memory and the psw + in memory location 0x0 will point to entry code for the guest operating + system. + +7. LPSW 0x0. + LPSW transfers control to the guest operating system and we're done. diff --git a/pc-bios/s390-ccw/Makefile b/pc-bios/s390-ccw/Makefile index 12ad9c1d58..a048b6b077 100644 --- a/pc-bios/s390-ccw/Makefile +++ b/pc-bios/s390-ccw/Makefile @@ -10,7 +10,7 @@ $(call set-vpath, $(SRC_PATH)/pc-bios/s390-ccw) .PHONY : all clean build-all OBJECTS = start.o main.o bootmap.o jump2ipl.o sclp.o menu.o \ - virtio.o virtio-scsi.o virtio-blkdev.o libc.o cio.o + virtio.o virtio-scsi.o virtio-blkdev.o libc.o cio.o dasd-ipl.o QEMU_CFLAGS := $(filter -W%, $(QEMU_CFLAGS)) QEMU_CFLAGS += -ffreestanding -fno-delete-null-pointer-checks -msoft-float diff --git a/pc-bios/s390-ccw/dasd-ipl.c b/pc-bios/s390-ccw/dasd-ipl.c new file mode 100644 index 0000000000..0fc879bb8e --- /dev/null +++ b/pc-bios/s390-ccw/dasd-ipl.c @@ -0,0 +1,235 @@ +/* + * S390 IPL (boot) from a real DASD device via vfio framework. + * + * Copyright (c) 2019 Jason J. Herne + * + * This work is licensed under the terms of the GNU GPL, version 2 or (at + * your option) any later version. See the COPYING file in the top-level + * directory. + */ + +#include "libc.h" +#include "s390-ccw.h" +#include "s390-arch.h" +#include "dasd-ipl.h" +#include "helper.h" + +static char prefix_page[PAGE_SIZE * 2] + __attribute__((__aligned__(PAGE_SIZE * 2))); + +static void enable_prefixing(void) +{ + memcpy(&prefix_page, lowcore, 4096); + set_prefix(ptr2u32(&prefix_page)); +} + +static void disable_prefixing(void) +{ + set_prefix(0); + /* Copy io interrupt info back to low core */ + memcpy((void *)&lowcore->subchannel_id, prefix_page + 0xB8, 12); +} + +static bool is_read_tic_ccw_chain(Ccw0 *ccw) +{ + Ccw0 *next_ccw = ccw + 1; + + return ((ccw->cmd_code == CCW_CMD_DASD_READ || + ccw->cmd_code == CCW_CMD_DASD_READ_MT) && + ccw->chain && next_ccw->cmd_code == CCW_CMD_TIC); +} + +static bool dynamic_cp_fixup(uint32_t ccw_addr, uint32_t *next_cpa) +{ + Ccw0 *cur_ccw = (Ccw0 *)(uint64_t)ccw_addr; + Ccw0 *tic_ccw; + + while (true) { + /* Skip over inline TIC (it might not have the chain bit on) */ + if (cur_ccw->cmd_code == CCW_CMD_TIC && + cur_ccw->cda == ptr2u32(cur_ccw) - 8) { + cur_ccw += 1; + continue; + } + + if (!cur_ccw->chain) { + break; + } + if (is_read_tic_ccw_chain(cur_ccw)) { + /* + * Breaking a chain of CCWs may alter the semantics or even the + * validity of a channel program. The heuristic implemented below + * seems to work well in practice for the channel programs + * generated by zipl. + */ + tic_ccw = cur_ccw + 1; + *next_cpa = tic_ccw->cda; + cur_ccw->chain = 0; + return true; + } + cur_ccw += 1; + } + return false; +} + +static int run_dynamic_ccw_program(SubChannelId schid, uint16_t cutype, + uint32_t cpa) +{ + bool has_next; + uint32_t next_cpa = 0; + int rc; + + do { + has_next = dynamic_cp_fixup(cpa, &next_cpa); + + print_int("executing ccw chain at ", cpa); + enable_prefixing(); + rc = do_cio(schid, cutype, cpa, CCW_FMT0); + disable_prefixing(); + + if (rc) { + break; + } + cpa = next_cpa; + } while (has_next); + + return rc; +} + +static void make_readipl(void) +{ + Ccw0 *ccwIplRead = (Ccw0 *)0x00; + + /* Create Read IPL ccw at address 0 */ + ccwIplRead->cmd_code = CCW_CMD_READ_IPL; + ccwIplRead->cda = 0x00; /* Read into address 0x00 in main memory */ + ccwIplRead->chain = 0; /* Chain flag */ + ccwIplRead->count = 0x18; /* Read 0x18 bytes of data */ +} + +static void run_readipl(SubChannelId schid, uint16_t cutype) +{ + if (do_cio(schid, cutype, 0x00, CCW_FMT0)) { + panic("dasd-ipl: Failed to run Read IPL channel program\n"); + } +} + +/* + * The architecture states that IPL1 data should consist of a psw followed by + * format-0 READ and TIC CCWs. Let's sanity check. + */ +static void check_ipl1(void) +{ + Ccw0 *ccwread = (Ccw0 *)0x08; + Ccw0 *ccwtic = (Ccw0 *)0x10; + + if (ccwread->cmd_code != CCW_CMD_DASD_READ || + ccwtic->cmd_code != CCW_CMD_TIC) { + panic("dasd-ipl: IPL1 data invalid. Is this disk really bootable?\n"); + } +} + +static void check_ipl2(uint32_t ipl2_addr) +{ + Ccw0 *ccw = u32toptr(ipl2_addr); + + if (ipl2_addr == 0x00) { + panic("IPL2 address invalid. Is this disk really bootable?\n"); + } + if (ccw->cmd_code == 0x00) { + panic("IPL2 ccw data invalid. Is this disk really bootable?\n"); + } +} + +static uint32_t read_ipl2_addr(void) +{ + Ccw0 *ccwtic = (Ccw0 *)0x10; + + return ccwtic->cda; +} + +static void ipl1_fixup(void) +{ + Ccw0 *ccwSeek = (Ccw0 *) 0x08; + Ccw0 *ccwSearchID = (Ccw0 *) 0x10; + Ccw0 *ccwSearchTic = (Ccw0 *) 0x18; + Ccw0 *ccwRead = (Ccw0 *) 0x20; + CcwSeekData *seekData = (CcwSeekData *) 0x30; + CcwSearchIdData *searchData = (CcwSearchIdData *) 0x38; + + /* move IPL1 CCWs to make room for CCWs needed to locate record 2 */ + memcpy(ccwRead, (void *)0x08, 16); + + /* Disable chaining so we don't TIC to IPL2 channel program */ + ccwRead->chain = 0x00; + + ccwSeek->cmd_code = CCW_CMD_DASD_SEEK; + ccwSeek->cda = ptr2u32(seekData); + ccwSeek->chain = 1; + ccwSeek->count = sizeof(*seekData); + seekData->reserved = 0x00; + seekData->cyl = 0x00; + seekData->head = 0x00; + + ccwSearchID->cmd_code = CCW_CMD_DASD_SEARCH_ID_EQ; + ccwSearchID->cda = ptr2u32(searchData); + ccwSearchID->chain = 1; + ccwSearchID->count = sizeof(*searchData); + searchData->cyl = 0; + searchData->head = 0; + searchData->record = 2; + + /* Go back to Search CCW if correct record not yet found */ + ccwSearchTic->cmd_code = CCW_CMD_TIC; + ccwSearchTic->cda = ptr2u32(ccwSearchID); +} + +static void run_ipl1(SubChannelId schid, uint16_t cutype) + { + uint32_t startAddr = 0x08; + + if (do_cio(schid, cutype, startAddr, CCW_FMT0)) { + panic("dasd-ipl: Failed to run IPL1 channel program\n"); + } +} + +static void run_ipl2(SubChannelId schid, uint16_t cutype, uint32_t addr) +{ + if (run_dynamic_ccw_program(schid, cutype, addr)) { + panic("dasd-ipl: Failed to run IPL2 channel program\n"); + } +} + +/* + * Limitations in vfio-ccw support complicate the IPL process. Details can + * be found in docs/devel/s390-dasd-ipl.txt + */ +void dasd_ipl(SubChannelId schid, uint16_t cutype) +{ + PSWLegacy *pswl = (PSWLegacy *) 0x00; + uint32_t ipl2_addr; + + /* Construct Read IPL CCW and run it to read IPL1 from boot disk */ + make_readipl(); + run_readipl(schid, cutype); + ipl2_addr = read_ipl2_addr(); + check_ipl1(); + + /* + * Fixup IPL1 channel program to account for vfio-ccw limitations, then run + * it to read IPL2 channel program from boot disk. + */ + ipl1_fixup(); + run_ipl1(schid, cutype); + check_ipl2(ipl2_addr); + + /* + * Run IPL2 channel program to read operating system code from boot disk + */ + run_ipl2(schid, cutype, ipl2_addr); + + /* Transfer control to the guest operating system */ + pswl->mask |= PSW_MASK_EAMODE; /* Force z-mode */ + pswl->addr |= PSW_MASK_BAMODE; /* ... */ + jump_to_low_kernel(); +} diff --git a/pc-bios/s390-ccw/dasd-ipl.h b/pc-bios/s390-ccw/dasd-ipl.h new file mode 100644 index 0000000000..c394828906 --- /dev/null +++ b/pc-bios/s390-ccw/dasd-ipl.h @@ -0,0 +1,16 @@ +/* + * S390 IPL (boot) from a real DASD device via vfio framework. + * + * Copyright (c) 2019 Jason J. Herne + * + * This work is licensed under the terms of the GNU GPL, version 2 or (at + * your option) any later version. See the COPYING file in the top-level + * directory. + */ + +#ifndef DASD_IPL_H +#define DASD_IPL_H + +void dasd_ipl(SubChannelId schid, uint16_t cutype); + +#endif /* DASD_IPL_H */ diff --git a/pc-bios/s390-ccw/main.c b/pc-bios/s390-ccw/main.c index 57a10138c6..3c449ad496 100644 --- a/pc-bios/s390-ccw/main.c +++ b/pc-bios/s390-ccw/main.c @@ -13,6 +13,7 @@ #include "s390-ccw.h" #include "cio.h" #include "virtio.h" +#include "dasd-ipl.h" char stack[PAGE_SIZE * 8] __attribute__((__aligned__(PAGE_SIZE))); static SubChannelId blk_schid = { .one = 1 }; @@ -209,6 +210,10 @@ int main(void) cutype = cu_type(blk_schid); switch (cutype) { + case CU_TYPE_DASD_3990: + case CU_TYPE_DASD_2107: + dasd_ipl(blk_schid, cutype); /* no return */ + break; case CU_TYPE_VIRTIO: virtio_setup(); zipl_load(); /* no return */ diff --git a/pc-bios/s390-ccw/s390-arch.h b/pc-bios/s390-ccw/s390-arch.h index 5e92c7a27d..504fc7c2f0 100644 --- a/pc-bios/s390-ccw/s390-arch.h +++ b/pc-bios/s390-ccw/s390-arch.h @@ -87,4 +87,17 @@ typedef struct LowCore { extern LowCore const *lowcore; +static inline void set_prefix(uint32_t address) +{ + asm volatile("spx %0" : : "m" (address) : "memory"); +} + +static inline uint32_t store_prefix(void) +{ + uint32_t address; + + asm volatile("stpx %0" : "=m" (address)); + return address; +} + #endif From 2880469c95e42f8a5b0acbe8c4808255cc6c9e5b Mon Sep 17 00:00:00 2001 From: "Jason J. Herne" Date: Thu, 4 Apr 2019 10:34:35 -0400 Subject: [PATCH 16/17] s390-bios: Use control unit type to find bootable devices When the user does not specify which device to boot from then we end up guessing. Instead of simply grabbing the first available device let's be a little bit smarter and only choose devices that might be bootable like disk, and not console devices. Signed-off-by: Jason J. Herne Message-Id: <1554388475-18329-17-git-send-email-jjherne@linux.ibm.com> [thuth: Added fix for virtio_is_supported() not being called anymore] Signed-off-by: Thomas Huth --- pc-bios/s390-ccw/main.c | 45 ++++++++++++++++++++++++++++++++--------- 1 file changed, 35 insertions(+), 10 deletions(-) diff --git a/pc-bios/s390-ccw/main.c b/pc-bios/s390-ccw/main.c index 3c449ad496..a69c73349e 100644 --- a/pc-bios/s390-ccw/main.c +++ b/pc-bios/s390-ccw/main.c @@ -21,6 +21,7 @@ static char loadparm_str[LOADPARM_LEN + 1] = { 0, 0, 0, 0, 0, 0, 0, 0, 0 }; QemuIplParameters qipl; IplParameterBlock iplb __attribute__((__aligned__(PAGE_SIZE))); static bool have_iplb; +static uint16_t cutype; LowCore const *lowcore; /* Yes, this *is* a pointer to address 0 */ #define LOADPARM_PROMPT "PROMPT " @@ -58,11 +59,15 @@ unsigned int get_loadparm_index(void) * subchannel information block (schib) with the connected subchannel's info. * NOTE: The global variable blk_schid is updated to contain the subchannel * information. + * + * If the caller gives dev_no=-1 then the user did not specify a boot device. + * In this case we'll just use the first potentially bootable device we find. */ static bool find_subch(int dev_no) { Schib schib; int i, r; + bool is_virtio; for (i = 0; i < 0x10000; i++) { blk_schid.sch_no = i; @@ -74,16 +79,39 @@ static bool find_subch(int dev_no) continue; } - /* Skip net devices since no IPLB is created and therefore no - * network bootloader has been loaded - */ enable_subchannel(blk_schid); - if (virtio_is_supported(blk_schid) && - virtio_get_device_type() == VIRTIO_ID_NET && dev_no < 0) { - continue; + cutype = cu_type(blk_schid); + + /* + * Note: we always have to run virtio_is_supported() here to make + * sure that the vdev.senseid data gets pre-initialized correctly + */ + is_virtio = virtio_is_supported(blk_schid); + + /* No specific devno given, just return 1st possibly bootable device */ + if (dev_no < 0) { + switch (cutype) { + case CU_TYPE_VIRTIO: + if (is_virtio) { + /* + * Skip net devices since no IPLB is created and therefore + * no network bootloader has been loaded + */ + if (virtio_get_device_type() != VIRTIO_ID_NET) { + return true; + } + } + continue; + case CU_TYPE_DASD_3990: + case CU_TYPE_DASD_2107: + return true; + default: + continue; + } } - if ((dev_no < 0) || (schib.pmcw.dev == dev_no)) { + /* Caller asked for a specific devno */ + if (schib.pmcw.dev == dev_no) { return true; } } @@ -200,15 +228,12 @@ static void virtio_setup(void) int main(void) { - uint16_t cutype; - sclp_setup(); css_setup(); boot_setup(); find_boot_device(); enable_subchannel(blk_schid); - cutype = cu_type(blk_schid); switch (cutype) { case CU_TYPE_DASD_3990: case CU_TYPE_DASD_2107: From 4a33fac54665558b7f7a68135c4a4c602eceb72f Mon Sep 17 00:00:00 2001 From: Thomas Huth Date: Fri, 12 Apr 2019 09:30:45 +0200 Subject: [PATCH 17/17] pc-bios/s390: Update firmware images s390-ccw.img contains support for booting from vfio-ccw dasd passthrough devices now, and s390-netboot.img is updated since there were changes to the code that is shared between s390-ccw.img and s390-netboot.img. Signed-off-by: Thomas Huth --- pc-bios/s390-ccw.img | Bin 34568 -> 42608 bytes pc-bios/s390-netboot.img | Bin 54944 -> 67232 bytes 2 files changed, 0 insertions(+), 0 deletions(-) diff --git a/pc-bios/s390-ccw.img b/pc-bios/s390-ccw.img index 450a076dc0ad9f2babc7f2e3005ea05a1082a808..ba054828d35d72fd1ed5521a48f43f593a1c291f 100644 GIT binary patch literal 42608 zcmeHwdw7(^_5Zw^&4n1?O$cEL2yY-r0w!z{kN~2)*`SFaEH@3sOG2`cXl^DOZfZ>t z6|B~fg4NpAl|o-cs|#8MZ^TMld$Empzg6n0RikBt5h9oD?{m()yV-=q@YL_`zwYyF zX5P7+bLPyMbIzQZcXP{}d6$?>iU@roL=y5wLA2K>x5;$7e71>P5hHA3s2GCsD10Mj zJ<8;#SE{tg;$Vv2LPX$emgOdyh~6nM$WJgOy679kXH@r2?sv+PV5-t1^&?vG`PDv| zKGrLZko_X+TV*}>BccZAr*K1{Fj5{LjV(AnqukUh6{!+WC^eV4KUs*fXrugW6BYdy zp|OFlzws#r5@0YD%9P5A6;mq9E|{8GUz3@|wFDy(--t`+FBLz0vGw+cmb|}U%WU8N zTV7ci@zFIYG;j2wlz78@#UEvmXwvXZA1aTWKjn$HH+^_R@lE&rWbjSDcPtms&6?7hI+sA%ieM8;A3tn7NqnLHkAK#qJVf8){vPEa`X2A>S*{t6-rxWX z_@VM(MwTlcqx~MQkulomw94l_ExpRi+G_k(k=la#i+-!03|Q@r{%2Y~5hDI}`kVGr z3ou{w!$XPwXH?Om32}ATezRCXbqTZekwWM*M2tfz7I{iztUgL8`t-mFv`A}d5@P9L zZWmAOd;$e#JzYfIYKn;QsjaHmupekzJb-yf9~B6+#fytYoKy7(>XnpmV5~>zZjr99 z6{5upXwMg^UZJOnh@DA+ZxbhO)hAoUn?){5Q_0`8^^P{Pqw9v;T5v zIL(PY$1lL&7r@yVd%Ry9QvDBmh0kUcqN!~O)_a`K)*2%k9g+Tr^MooK`ABW5qR+xy zjl%dR20ml{loGx1vv}?(cL9~=@eG=H=4TJ$5uIquCYoqOZ8^xrQR&RTGK^*1;`5e9 zA(p&J`QcM&?g6vTXGI~+|7eFz{ac>hDp*=322LEfmgjjSw;!cvg077sGsv;je^UAQ zuZfT1hm;@Ou6G3fLU3C!$O}K@k=u)fW1&?%ztBc9qZzP|p{@}eW8NoLpx-};&I|uR zaMVBeRHDfzR5Sg(p$XjW2(*SEKYb?Tz~e#4h8(FZM`KuyqVzE&M}c2TxXgvckQvN` zfk|r>qLF1Ui6}_afbVvusG2FdiSyTSel_K7cT!%larsqTejVp;=6o5qS<7uQqxsX~ z7bbHWl`l;Pe@uf{?mtIl?>C7Y@Nc9(3+v1QEf|NAe9TJ%N(a3aP$3z1HD2hK22N66 z5uI<XvJ&v$mJd@ zxktcnZlj#+k&GUlMvpA?@EbkGcH`K3I*22>i+fJkDuOVgyI?_-MxYCRB6>ZeJXp`E z)N{~q8fm7*KeMa;M=|~t`rFV=Dy=L$tvF|lpN+=UmVkWR&T9kyMCWFwh)bTcf3!$! zo5d|eE7lS;5L);&j~Q#s#yDeyx<5_~(AY z+8#r=wP(q4C{4tLS@*mV(H;XnY!rz!u9+TcG2}7I&)UfOU6jA*IpRg2ZkuS2L*Hv4 zQO7Y`UXf}S{uZC`?*iY_#XI(KegWN$^`TcNX?CmupISTu)`zr)TVc-6+U(PcNf&vG zEy8>#)Bg_EL!%JQj+R`jYma4((4+hcXv(S<4RNQBUBJ=GZm=JDkhp zG3W98gL@#(EUAJfA>I6wmcy8`ul4(d;yX<1sl|zBpI!(X_pk^Y@Hu0#BE~Uh=dxcn7qy?EkWfZMzSX20w@O?DPOIVdQ2=@U7e?)n|3a;2BUMH_M5#v7e9x z=~H;+K@$-q*1AFZ%wnNI;X81;11|%IO;3-9buJbp3;R<<3Rbq&URv!UN9W+xs>FJsOv3vc0L5Y4S(*Ktx z@^r}KjI`T}6~{tv(B20<&tuz^#wc(w2D%aQ+0p@;_Ok75TB^3j=&6Bk65@f=X~5C! z3yY&2ibp)JI7N#Mbo>~#c0=~Q_IYiWiZQ_c8y?-=3C~(q=o?MDpw}kzSlq#}oO^^< z4$oZfCK_Gbz09wdIp0M23wJP-ACQh|x^f$^g3=tSnOPY|?`80JmE<~xpHCVzgyVVU zSEOYkW^Fz7%U#USOBhol=a)048pbq%Te`NHu-;PxuWVbYj)4{V^S0gUSfqbA5TQc< z1YWc^sS~Kz*1=3!GS&e!7i5|&I%Z{SBx$1DH}(DEVxJYI=4~)}pnU|lF@sx>W7cmE z!1H=KaD?fp>K@an!`lSr&K>ytfTIZ#9{9wkHARRqG{&DE>M_Q--F%$>F^%Y)qYQ02 z=fC992^!t0r+5z2g~h(GRydSKoTD8DwN~i6;1@Iz?;vHXd|q(gygym&fs|rT z;De7Xni%gd^)WHT^ZR{HuSuAfIYHw_Wg)zQnHUkYExbCD7@VBoOso|}Q=7!7Y$yJ1 zF?mO#*U$9F1a=k5`B+y%-wh4T^N8NDZ7TJXy4AU`Q8-hI@wEzuYHoXiYKunI3alTY z9}IYDoYP0}m|1FacXEC#k3WaTfAaI9QN^OiSloeM0M})0iHwW9C~3=HC+_-Ez#jI8 zN6+i#@dcj{+}N)PZtiWI|B7)ycL2xJJ}2q9&Qbo*WtB6TryPKP5*|YO0AvSr1 ziF?qxZuDZDlt*)7u7(H+sz-G15yx4~}YVqH9eZyiy5 z;%}Di)N?Sc3AeJA^wr(a@1(DmdZ6DAO4~W@Pt@+y7kl7YDKZpTYM3#0}73lL!iYSNJrnKhX;G zZURi{nYazg)-yGmm=kP22W_DIjC;BLJjP!rDFb&64-Zh--rRj5^&aI4qihkwD`t4_ za{dPl5Bo{rCoPT{gf}!@G+7e#DdcgQk{HW*v@UoyQ=Lw~7usErwz@f1_Gx<-F;p50 z>BSOnu7Ixrh+{#^cEWJeF@2;4KePw`CK2SDK4&Tuc#h`j`{1c1iU->6C*Ig+K)$Tx z%L2}Lg81z*f+)Q=d^crUCXE zBf6Ps;5bOk8m8gLOoJWkdoaECcamK9WoMz1DFcqxrVz$Ny~o#%=-x1Nb~YW|8x4Jz^RdG@Nm9>rrekgK4$gmZAQ|g`Ej-7QNF=4nx&+j@YC48H3n)Quc z&r|(~7YTaTpRwj3zf46rFmIr`QNyInc0B{gyeG+7O6Ad|Oh4sOv zPMD)+eI~eqCw)15HOb>d@kHAwUgNCgedEJ)#KzO`n6S%&PIx}PH7+!VqZns8;hA=r z^WzyOyt6>y_*aI`aI(&sKsp23yc1(Vv>@^YNXc$+&jG4-AYL*8`B;n(5e4Y#iI(k% zHjT9m19i|?G>gz0@mNvChzmzRb4*ZS4}s;MfI}jFp=O9}RZHh65aksd`FgVLdZx-&6h=O|&#BMDCzJ7_;?_xN`) zES~?%#*k+6A%FuKXNV|*f9E)#9Z8cT-zoC!9vOL^9ykulII1y?cXd&-nJ>h>TP|yZQNMJZIyZK~E>|ga@Qyr93V@pcXH9G5?K- z)>~{nd#+?I6e1~#b^SBk;|EchoK+zH^pH|LT$DqgU z+%A{vF5%uwIB(;2$b<4&w5x8;A`D%vknacm1@P7ZXKFp9yol)A)XBXjU<{L`G<16b zkOqb1WYeeAX2j5LX|SH+Ua<_z$$2y5wGiHK{!UVm^(wUdRjlRN)?0Z6oBiCUfcluf z;CvVNdD7SFt&npwysLX|tnB}p+5ek5n|rbUH`T|z?%yW7DiehGV(E-3GybM zzi%F)Xuzh8DBUhc*llSsLKBa$fgmUSDr|(X*PxL7%c)a2|5K(`XB=142&c|0YK5G) zVs?#HVy)$tKjfB~oL|d%tUvH24{c#1 zRJLh6=>ne}Swjo7hHC-lL=Nxj%rm8AVjR<`r*$)9oPyGHd}k7#6IRHq1v2{}#aE*{ zxZPlGH;VE(4{&}s<)^Zb(D5Op>N3`sQl44?`Ip3xoa5x>A3D$f5F(!7-tc6L2^KxD zRHJx}SctK_^8?? z&lih0BmUxfZrfC$;4CeltO;U%Q&ARyJ)kvDs0#9v6UG6v8|Odi;(!sSOF*1XMFjK( zz}J^PI;y)Pw-5L%lXtK+9lj(CzMbJOV3=8)FXa5yG?N{} z82%Jm)praIVUeeAG&>WP(P%fq5~mAjbHrWlq`#++LjuUYKS(k6=nh^JRC{Bn9ZTeC z-x=+A|9)x}o$o;=a1sY-t;lUN;)eJ5ZO}KE&?(#WlU=OKqvOESy$8mo6l2x0-i?kn z&Ix}-v6b7Q!2^M>pMUE{{|^5S3(b6CXTQ#Q z*8kb8|G(Z)gqRI+Y09nS3E#ecnTI)2K`o3J?<>#u(hfjS3Rn5%>d_vR==I&Hx^c>PB79d~*j@`m{a3N;C;NPrZimUdxoufc1%M3hA8e zYq*r-|Jkwy$A7bVH)KeB_dJY(PO7qnZ!tX~FgG4_q< zR)Kj(6qwJqegMx`gZ7>!RP2?^*y*>?@^_6MgN;XFsZ zve;4_U60-Vv--2x?N8<%?KnsWQGW>blI>!`x!@;z#2t;u2^wL>4;ju~l+SvD^S5&z z(ulrJ$u+cgk@lc^bF*bHo`1)^nd?dw_jrqYvwx9wBlpfiJKSr)scsUr*qMIl93eCj z-Ol>3o=5!Y<8(khD}+kv$bNw+je>UWyh;M5)(IqUg_n782B&&0sjJ8>6)C=PghfQxv53NWPS>C`$JbYZoj zb_=!Z#u?a5lNg^1z^4&EFn+T!elJ1^qxEM3tYeQnfR&H9Hg==LY0R~i*XScZ zg})TzvjgZEyC!2)e71~p<%9v<4MTj1R^fx_iBwF$G+ zWHM%CWKilzl8-DwPn_>Um(gAs9C4&H4b4mO27R>?&=WB@ROLB?1br*#4PMbWik;G@ zJARrq2=rK6JVHF7*;PMoyHMO6+EMigNX}z8sr{q6ppc`?v3*ABm9`95Uuydgwu*!4g#9IBe0ZC zhXPB&#}CbjTMmeU73QUY!u8M#99aR)i_qgDT4jjMhamUlLWl$9xHYE%_RYj)KuD+Y z;yh|1X!M9dKGjM(DLK%J*%}S)FqGHX#K1QsCp6-OpF*EmFo#oVj;53|cj93gIW{w8 zEk6TJD`|6q@tE7dCfr6c3n#pJJL5BBl!f9P`0u#A#!#Q6ey7>~Pl4Zs{J#Nn54c`u zSph!aj0&Sn>z04=90BvdTQ_=lcqxu|NFNC=9W?FvRYBH=?gIOVtGC%8(HjLvK&C8U zsLvrjKxKTpOdkbpq~KYR+K8U*ueNfO+|Y7^3YpJ7-xU8 zRXCMoOci>(wLu3VzX|*8QxH0t%IK9eF8LG5k{~9-|f(6d?K5tQbc5M^YLabXa6q;F%|S@|1YzU^Skx;K*J-Lr>6sNGF(I$ z(B@a@pGLXUc4z|H9p58uDz!n^_-%!_so(S^XZIjqiYd-wxWFVWU=Je$CCA{~>VNQ{ZXJB75S4FU^)Okw?zD z{?t&)XJ9u6PO<-gK9A?i*Kj+Pw7^Ul?ZNQu=Hj;9`SLUqnj3wgV`murG@=bOdW;|N zF5ZXnVu%+%iIL=pCK`dy?_UeQ4@1t(f^>+tuJwET9_SShZtP97(v3Y8C$6Jehjwlg z{)b^<=$73sx}}M38}>(t__h>|FMumPfBRax{k843Q7)GWeXvNVx| zn@PDM(FZS3m~Tyu#5pQ*sfg(Urt~SH(Qw1r;PWFKH(sca$7}IE1{`{CLpCEQJz4&1g(I@v!JTr+cH&)fmDuiQfk4O6^)TO#&;j!K{z#)cZQg4 zIr4EB6(G@Ue%DOiDscJ-?IhPqx1W_kewG{^Sz$BZ88CyJlJ2P#Te+x|dLS7N5 zrAXBleDm5i(l~sLUQNU-tA(eRFD4Qu-2QZnY}(6uV3EZL=AMnX*A1ECUkoFkVC+v3 z8==+469$H~Bk%!eok-pQxD`dGxtn0+5SpN~nC&VEE+25Ks#XL`Dk zqXMySDBi4A-UZLT6>~5+IQxe@oytPRQZ^-u$gFZYVrAy;xtg71Ky>O zcgOq23hZIX0%&?$ zv)fXv;0MDy)k*wN?!n0ypwfxHy~+Os&1|06|1@mE6S6P*C4inn&=MKy`!4q_1ocmd zF-z2ke&NJ-|5y=^Q`+u+@xgvXyf<6tZM45)npBY-b2IdEVsX7QjnM*FEJpP+MT zrl{8cINn{^2U)wLK=tpjss2C8m1xQGK~9Bv=LPHo??WUxS%r_Gs-&I$2gMfb+es_r zf@^=otz*`m_8hjU7Li(n`?Up{|Bu6#U==|RL!;w;3i~)K-PB5jex5^jjbXb04O`7r znjxEJ1wU1+E84TzteT1I%;1?~vuRYP3B(YfFL^%I7~rS#I#xA>AYIo7uen zgZMrknz?Miz7(*{!I?XG8t^v;_(owWqK7!8Kc8e~(q)`KkMe0VDgT)tl6)z~W@3$N zvqI}yNv5LUrL&JTzAH!{_vJXzB*YH^lTYK*k{Hh4Yz`-JotIKPYAJ;&|p(2j2gjlYZQe$Mdj;QUr@w~O0dgLWkhk9R@G zZ|8P6*#p&$+-@tkyA18(BnKcH5tu;}WP@T%#8LRjT^R;P$QQ;MbXqmxv}shEg4!{L zp8hTQ7cCHt^jBLvLb*8#_Kmc~GtB~4=2`T`tr1991a6AQllQgLqKG1)nJwBT*rFwL z{sJ!u5_ZYX;Udtc@osyZu)xy%NF?xE2dVG@^DzT)OGx9VZ^a(a4^HjFx}+OHserzn`JX}cvwn)Z@^5SOW|?wR z9(h~10e24hfc}@!LqNBuwk?JS6bJ1()Nz~t?Yu@c2CLkGH>lo*CVX3@=Gj#2WpT%? z2|K+PF_LS^mZZ;t-Z_lk3#qry*{X_0;L?E$wX+sspE3k+5XHg%Ak`7+*Ykue+OZ6& z(-xzTC2cJ_NT;KPU!)$m2fHqtP;NYex!B+nHoUpUct)VUQ=~2t*m0-fW{HN_KAoPw z%91tAr?m^n%QC=mA|6X~g}aT|>u_`pw`*+ejaU)4v=@N49R%^bYH;({)O*}{B#XzU zq7TKPlHlLdetHu5_mCa-A&yPZN5UUQbPC=B-N|qVcwL=ml`tu4_oD_?cg)UBJvc^BSE|vR7V{GtyUU8-iJ`r9O^3{Q4o`jKg1^AJkc}8h%EQ&}*>K z3NQ&8dJi|+*=!?46Ivv;ZRI((F|>TNu{qCmq$AawqcK8~1k6y_?6?Ct#E~=`#*#%m zPl5gj3=YQa$Y(*n*YTwj=}YjPhVORFpbhq1d$kCEi`(Z3)|Xx6Z)M;+7nZ|Bd^(xK zHepat4+SkINpFSbq^pY8OXz<7#CL$z@>ZmOuYa#4sX4*FH_z&SA`iEqaf6yHt$F9z zKmhjichK%Ru-Yw1>5kPwq?JfpkwzeW9jOWF$B4IKbvTRthmrGOH5Frbm5NoTtbYmX zYajAhb?fiI9bv3BP?v}O8K1eOU1)du_d>r%(P#o|eRLPK3Fr0aKyp>Gvltn8fc1}^ z6k=_#u;in%&x-Xzb@VK2y8S}vf>!7PFRZzmQVtsT9hj1m3yb(1u-}R=ar}3X^uKZ| zGtL_C1I7bIXfZ5-wMZi1#v=z!f-zv_+OfWPOv_LTZGlpZ8u{l$qFwcqf1<1(j#7*f zrO*iQO>V>;wdeSD_Xf)&!}ox@5tfHWJpw38?6k z^z(3L2k&z>qD*%tJZpc8r6&4Lb8Mq}NMP5y<>q;P@lZD|CKvJ4MhidmggT z@*I>nKOFJ%fDL2CIEvKx`!J5@(0Y1L`91GuvTy6WK2J&!czp6S=@vRIZUkM^inNqX zPP`vhpzhgdQ$3zZQkQVZU;lF0kxPn&gUQx znYDY`ZFX=OPmlpT3FI*EdWS-B7-ij3P)dC?e)R5+k`J zmDW`92%NOf7h5bh&>jBa36SXVjP-t^z_%DWVWeJ&m@s0-1ltC@f%n13+n^6}D87#U z2yU$ShBe}KI=mfk#$DD3NP(CR`$QvoE0X5^(AaicBjjukX+Rm#j3V2Q+2B3g2|7)q zvlkQ6O9^-9xh$2?C>pP4EqpyM#;oik=~BsBO08E+?>Zm27_+ibsY)QfAZAH1&H<{) z>rmK-9RuwJ9$R>XO`K1ly!0nNdLPs%^lk;!9FN49S8$HriCY2A{Nh%Mv2-BPJqCPt zcm1bt4t8xon`@2n2=bI5Gs@}@@qVS;uWqG%f$}))tFroa?Ec{6E>Ynn$u}-%pac?x zl0=k5VjLs4Ewri7X5$U-a}LR1>SjpaQ2Rr+_~)~*rf`FwJ==+*jYpS-dEnS)`$M`V z25bXf3aHLjnf#IFqqQQm|GK#TrR( z2u`*q*NSbllXC~!!{B;(v@-#hcTlI!PnvLSg zB6ZJwIKxqKhVvMxzK``UX*|Rr$&T<&l(Zf_Yk0=q0OPH6dfL+<+pUoHU9k0@_6tGR zTu`F6jVHSV-4P3&Le|BCm7zeVjE0?r*WPZ024h_X%CM_Zut$W2v9{-OWad|_BcWlM z)pk0&nn65HEhoO6Y+(HhIrXrddcx(D?M~_%YIj1>M=E9dfvzTdycaTx^IKph8QxRN z-Y?mys3L27fz!ID%x61_HQQEmw3fVIN0w88O!4j1(Y#;tKSdObf0rQpIsUKl9`Rr6 zvB$cVsbg9H_K)b7k1-8hLLSi=?0MZ?xF_6o7fA)`7ExP`_lkaw|BvSr6+iF)G`|1g zZ$$e~dg;VYsS`*46*{q#LBiEKg7Jbn)-Zu3248ZpK+57&llmjiN~Br*0bR+40$M(jN>zRKga*Ib1|!A zEs4M2)2VsfCykzubaHFHt#afjm$N^3NWWWyN@IL6shi24?k85#n$lN zKgHJI4e1sW0?Z!4avG?<*6x- z;5dx7Wq>Bzy8~aKO-gth<1NO~`WUhz@aW;O^r*)@34+5g5NYUHCx(YV_r%ipZ2!8kwP@4ybJ09vUT-(Ta)k)xw8 z`UK&^bAmpEckSs&>GWY3%Oh*&4_DC15q#S;V`uUp^dvM6dR>O^4194D4(sNzGuudS z&A-dns;aO)X`;041A(|Z_AQU1EEvoG5pJ&1P1Qwrs$vj+Az=$N#xB?&m11RppMi*< zSFW_9eW)5z-a2|KC?#J3XQC*5g#LcLsYq+(6?$|5 z+Z>9BD`(OTEuzC~IAhGPB7tOz*x=?5Vc>f`i;Q^;zDGg(-`DV^GsfRBwefA2!&^j* zDG(S*cSO!XO$wl^(BH-_9OC!6mx4PQelOxptnYWFZT{*tjEl||E=QkP3@uqtq4Rt( zn4Y?P-~;WTN8zmo3 z56v|0te&T5lE;DPH2P%?AZ#>xZxAVM+?#(}gLmLOn&5d6<|7;f`VR;FhxJU>7g2bo zn~HBECA;`K(iEh4$ACUP^=sf#mM>bjO8B~^u?B9AA1BL*Lz189AG&9#eG=r4-``_) z#v59C7#ZO(3c)ET{g7POo-8AZ@3aJh~A+UAGmT zYs}9@m>=^)6jx59)i~lXwQc(k<;QwC{~6^+oud5vducWwDhRdyGq>RPzsBmE=XmHS zj!nG(07Kcu<$nMjlcWYAO>~^!q8YoRyX5_i+`5umKSqDM9*11wydFNQm3(A7ZoFX6 zkV0|zJcky%cX*;3#>r26X)1VfV?D+`7;h3{AWfF6C92bm5zGV!pbO|ejHZYtyQV2d z9hGkk9OFIcL|Dy0;xKs+%PC-!$B-ReVs)A=cDhl68#YREVlubz*+P(}>X!vtpSL^l zo^+rM5|9Ep$DAAI@S%9%*kzcnBI&DxLpwn06QB*hzXDxg#-7uIb$+`bJ&oUh!rqjA zONy*{C7>ztj2CrIdLtU`9LNW6c~LvO)1=?ex63wQ|JRJ2-!5pMnK-?m-M*4nS}*YL%Qlpk}P=J$(dDWA-5CA>%a|0zW41-*fa{G;55_w8Ts z$dnXBFVfnR^&NR?ricu*BtOaV@U=F zpVaRQ1SqPsH%Ft}E=`-7aNiX^NOC&gH9jc*ns7g4jBhl)JJpiBcbb>lc{X`)D~8_C zr1&6vKj2sqICc;DF7R0R?dQPrORaQQKCqvuPGG7vrn;W<$xL-7<=_1n+}H_88;NKF zW(GS{kyMJ`tvdt@Qz$%GId9tY5&uHOtHq1DVyr3p4Wkz!15O)7c_wg_#|e38bd2-A zmUMs9&H=Ynf z_o=CfFZ6ZOiL4&qaXLwu<-HyFl_vvfdM?V1w@vp>WvSv{J-fHj|M1>yerC#Xug3{V z!EOomD0DAc+mGmbCvG%&_|2TH7{N~5`r`YlVw%n4-wyfRfv5=IhQ!VDu-jvaAJHs+ z=4Y9Dk@NiipM`gl?>s5Bjb$><(`J%KX?N1Qu+Y;E@OUj`_d%wJS9>Dw!9V*8!+L;W z9i+U4Z#};A6UZuV)^*><&|Lb-lbvr}+rF!Pm$72E(cMYp3wa%vV(sm+d)s&E>y%BF zNhqgZt5|MdBW15kvE=EQ;M_)$N>(GH5i!_3bi&x~<=+xuFAe8?c)vQLE-6dTB6}RM z8jai41lZVt9@=H8ppyBZ!d zdJjH=6uk#OhZMaBZ$^sVgRek}-h;;@1*Jp(fD}-MHiL#c8Ooi2G8(Xnh9abZGIRn` zK#6+;DSF4@Jxh8M;3)P_>Mp)}n}R(1>VXq>>(Lm}^Ubl?A7bs>HPk(<2)aK@qyP7Z z;OdWww{+fy+sK{Z%?QLx>YC{HqM%dSOQ2J1nC|Xh#l*R+BeJ~&x`ZOfB^)`1%>wSw z3LbMWL-zt&8s{DXp1XJs5uQRR&3X{e!+1*@xQM3z8sGJdWo-ywJ@DPl_+t9Nr+#mI zHpXWQ;hP0~KVf``0-iBG%lF1Nobknk@I?UMJ&e!N2R`ll;yd>X!uM%w5Z|YN1->SD zF>1Tk2R^z{^}Xir+yjj7z7RgdaoX==d})2)BOmhn;p00apOP=e^7-j<;CqPqiFhkY zd&+0-_r_Pj<4X(S8xMTj$)4bL&6)UY-y7dWgzpo75Z@H;m8O2fm{3jqiEJR}jMI06vPOkhAez~igQBHTSq$HdZv!AGjx1i@6$oD|07uke*6NRa*`(s93JLH3gh1k z{D?%#yPK#(%oambC~AE;IFlo_}fz+h_56MlD{_^Hq`iKY0HB=q9GwH9RDBA z5rB^)iq!T;;a_$pXW?c-Jia+TRi%BV)k=R=id^Dkb{BRJ#uZOIVl;nk4Dq84`9_&4{uzQYmMA$@Lgj4R`I|5%8*xGmN zcAJ3L^?Tip_U`C=bh}FFRoz}n>~m-1r7*pG9%7l-Oy14e(6boyEJjMK135j%I(GkOX|)uQguQxr;ZvqZsvbY zuNCyNcNaMiDSX7pkYtKg0S{8f^KkABRY zg%A7RNdhRx4g!?p*QKN01tp-|v=S-i+LVJ7ltV6tUy^u>tR^vy~gX&mC%zm5Vv`!@gj3g?}>pc4e$z5*UU?ee9q!kGor zfv6QUg`tVr9ft5THoRN~2`d(OFJl2~+ zSl8&){Qm%A_39M*e*kpP3U7p*x{CLi7uaps*DaIx3OX;R-Q}qTkc#bCY4?$YjkuEG zEg>1T+m6P_*~U5LD53O_Q`Fg^>9`MhGo&jQQ7>+JhOX><(*Zr17XjU9=q5=IdePl+ zjj(n`>K&brNQ{H{w`k758m6I>UK>~=c0Jr%LmSX<3Q?Mc^_101|6}Tt?xPqssH+dP zRIK6p->#>2t#+7eMV=Y@e=cMJ`qqFxC)B4u=+~SDbVonXlLv%O?~)EgyV^JOn70Ok zKD=#U=%+vE2l}G}LVw~cpzrPn`i};LzWywrujvQ+6(Q*1`Z{bK45wY-0PEm%MDKMV zWhQ1p2zoyrIRfPP&+(AN(LebHG! zpWYAjf%%?%7SPT8Kp&9r!~Qie^pmgl4Lz!x@BK*Ru=@s<$dgz1Es;@w5Ai)5dYA?t zw!)yjF4VH8-iMAnIjJAoUkdf<4|>MH&`%ui2l{;jK~Fe#7SIp&1HEcM=)XS;=v(@M zKA@gSxOL!JJu$AIS;g<}eYYk^m}}7f9hUFgBmK}$XPV!sXA*{;1@!0oh93FGK+xmg zI}7NW`+>fDK`Nw_I9uEDUvw%LT zH+1rQgvPh6DFDJl7S_&{mH&1({!{?=wXtH z|9T>2<~t;_{YQP%ZaOd!^r4@h1@!s-K)-81=-#t{KB^z+_5qSwGN+3<#Zm zU5D1{cktc+yWY^HM)>AQnI5~EqPlv=HzSO4r;&EZHLd(c`#rdWw9B%W?r#{kkW$5^P7m%TSrpu{@^8PF ze(9>`J*8CoZ;Y*UTd`4GW})}%=$Bady|Ax7;5*DQcr^#INWVuZy8B=pN5{PrV996>)v-oLuJoBqLH6Z}7( zD)I<*=Wj${Ta<{g;8qWAndAR0;$6G9iHgDBa;wiB_-{tMrqYF)XH_-w0`-Z?jdZUN zcvJ7S;oqa#L}GKahygwLZAlT^Y!&A;+iP!K-6yu!|QKS9{()> z`9FAYdzR+r%e|`qOOg(7qM%zssLhx3+q43=>OMo8&zKq;(=`KU{}3u*6f}Cf&9=|6 z5WAO!Hc1!$-!<3p9Y2vr|Lsc5DQW~iI|7LgD}HONqwAI;i0RHtz-JrY=Fxgk&Tq}V zehX9XWXk#X-_3V3|*Sbn8R#v#m(qqNEih6fOSw)?z)a@$M3Z3&9MtwtVZA~4O ztaG_jVnu9atkydeMT*ol7*(s~I05=DXZ$YU-}v%?ivYUWnE2`)==$Q3&M#gqmO%CtqcFCxTK;IWoTPj zQ&OfaSgdjL@{&3pV_aa*ciIn; zMOsd&&G-m0XP&lX!J@(?3$(?~IgY|h3LW+(g$w3~0SM1JN~&qH>Rez=IsUlngjkPh z#vIjXl+mh6R#lX071hD&yiiMx8O)8Cwe_x5Rjz7C7;{{RE9+`7NhqmXM-$rMBA9cE z<~U>-<1rf3^e_#1&P9v05;u7NgI=HTndGL0ix+6CYbqP6T$u3s(z=RTcMYiTo^Nh7 zr&3!|Q&$lbmC_P-NoCEd-mNMyN(es0r>0J`5}iHQhaAL85^1fbS_A5g85dk&)v8=& z6(v{zz2OmUwRM1sp@$Kd&kLyrh3+~R@VV<6O5F{0E^T#1O=XF@qNch}NOJw58~!rH|X&+JvSdt|Tm0$!(U8WF(qPC>2N(!L13Nqn#)oJeXl4?ly+KQ@%Dy_Pq zY6Z$_R!Z2^wZc`el~h*NtZ|j$7q7zB2;tE#FR9g*kn#-Gu~O|>r_CV}LM^0p2YWAO zaTP4>ToYU~E3mps%Nwep8!Kx{uh;4^Z9=vyt*OQk8(2)_Vlg_E)|9!7PCZ~Pt-ijx zW=*vw*M_kWdChiXnd6w7ua%UQVHPf5Eav6U6C@<{kVH*fv0&cfIg4g5?>PoZmz7rR zs=5+mCM&8})_~g$)s-bHT%>LRDU&rhtB3lERir_PL4{~(Xa=q_u;B+G?2GfYih60I zunI{Dg_jYfBn8kfsCAd4X-QpaxgdSi%_~A9QDQCAC@`z;a+j7>PfD(|rmid#QaKOn zBYakYE8D0h{d^5uffUUEMI7e&B$Xw#73q$!RcBCQ zz+UWFTnM2i*pM;6xzfI9e&PH}X98+a<}c4%q*a!zt7&it<@tQAq`tnPiiitJc$Oed z@2snVAXf!f^qjgn$QLanYTC2%44dd&BIdvuS=Xzb zB$I|7E(_#KO_Izgg@&qjfmE%$q_);otxe*d)T7P?qfuS2q4naN8P+*Yw&+SDC-|el zxmb(;`A45%$`3=2i`86CE{1~b4W;-D?G$T7Wajt$Xkq;?Oq+bud7pTxtI8{kn(MBwtg5c5y`e7HvfkaWdd=E(>x0j|QhS~w zf6gVB78Dxgm(87b`TPaWg^Pmi7B5+P#g#?NejuN_eL49|oQUP=p9yagmZYK@vj?@i zvSL+39qZj#XQiv8p0sUEO}%SotmyHqr3KB;nugOQzq+Ch z8qttl(xxHbVU;VWKn=m}!NA@vSHd2{0jk$lRJiNIpwt6Oe|2YIxME??Sqkb70)jd+ zPT_dhz#Sy#3z+N4jFs2ayJ_sf58gfRq&!mM6@B6;Pansqe{Oi|sj2VDVnFTrd~0rY zbg&9(qs%LTE~D@kq!$}`N`j4t8fCN>pf>n~aLY&e7wvf8Fcy#0=a!imoz(e4RKsg^ zRYN+-F%sv)g{{NPU5uR!7+hOJHG=e7T9!3k2swip^`-R{GpY32s*>t;V&R<2muimu z3~btXw?)KV&~Il~FJ32=TO>F|q5%$Ufao`lltK|3b7p>`(R25s@2`HSbs z!S~UkqWXr03OHnPS5i2C;nKoI%epxOr=qIF-ABKW%wJmz*R{Tn7Hpl^|E_2LYNaK$ zC8ZVab$zr&oxurm4w*Lww}U%e7>GXl@eGCF!sfvgQ5kRH!>kB#r*O&wjn$Z8FAXNH zsJxzFJ6NC1G(?4sa#ck=#tvU9Sm(&kW6x6y)kupLHXYKAfr>EXC9ARXV~U6j;}bCC z9Xr+Tz3yz}4cl`@s-dnJU)EJY1@<@jc?D66ni8JvdhpoAPC7{nZ}97}d*fXdEVnRP zmekdiV7moPhA~1Zlk*6T6m&a-9uuivLj*z|5|xo_3@a|`;co=@s%t8+-zqJ|7~Fl9 zmWC9g<|1bTT3M^FM?3=~)3j2~QVyN3t%hbonY*qsqoEobI2p4jti~p#uA$bgEefvO zJl+oEV`amJX!u;xP%WKO2Rdsrg|>V#mZSS>z*}BWQi+VV+yQGQ zY*>^Gr>mM=9cs@Ix(f_Q-3123?gGLg)j|ftcM+6)4km>P2yO#nO0cM91}(rtx;I3L zz0ze+&LihtwVPo%8VRVy1W0aUR13dABqD9y?)l`S~xxA)~w!zGq zppXqtoc6;@-1Lb0}td9LbJ?s9@0>LF3d5(<@}Q$`4Xa27~F&MakYp|*^6C0385 zB2*3-71fZ0P=Ab}w6)bB(dirmblil5lxF(@M6O~oa5VcDxOIFphd^@VjG8Vb6!_bK@Jc`wFa#2jm zUCI~DU&ew4cZRbBhJIaWG|T6pO)W*Jf<=JRlV1y<7U~+Ltk7Ik)m9=ZnUP;p18&=pc2Em1cAy7Ot*}KQm-q?Q^_c-F0X)lWQ?w`3Nuk!QSTyoHP$VLA8eJueHflY z$`UE$jGp7Xq@oUCT^>Qkyc!S$Tyv^d%T`V(JPeR|9FB`x;RCHvQPxmWslnw#u#Y~o zWsS3ZUA>lHSFzfq73OnAum*t?t#lnWtWukX^`V#}7i;Iii{M5EG^vfJR6+YvY%Z)1 zWGe$fFBcR_wR^cWWBS!WJUwf2GqR>#Z9uEVCQmDo3X|g{A*!X#GyHq@6@$>KxZxDg zl|jUZQ9zHNH$?k#YY@*FHCg@EWK&I8w6dXE%077KaIEPzpfH8-_3*0-)Wu~=I)XR(t@g}Bt=n5m^*I)7=pHZ?OhbDEZI&6;MtAUj7(TZAA>0emDb z&&Zj97-D99InJ3JBw!T4>kzp1K8N(!R6K|G z3D*}^)CKicuz#)5-$+Fho=F!52Ndj2`iXD__X$RQ@G+Q*pngPC{)CU;hLRv{!TuVz z5)nqq`Z3sss>1PKhUXwWLqA6xrbZy^FelCs6F+gZ%9yjw%b0ZM7kD3(Eq% z+1lpc5Vf$C|P$F>b>f9t;p2z zZLM)e)mbNSMjbyRp#Az*jSt9+mo>_`^#4|>cPo{_R<~53 z{q+2s1zX!p-Qa)V-(E7b^BNI)+bg@}n0B8(x?%cQrW2JIko8{TvxfTt!j zR)_%IJ)3kqStTlfkKt#7hZ|VD9Dve}x9fP95LQ5G?TRBDdXGp)JEjBP7QiQ?9ovr2 zE7kEPC)&H)@xAH-^i|@aIhEyN=CtX9?wdbd+`r(#%BfXzr;c?NPn|y3HDjjuXm{-6tM{p}qD1zlL%+6mtl(>il!eDJZ( z)(NlF1s+#5cETGny!!aXD$jKtGn(i6?IP3T6(Vb!`?6;CoE5_Sy$2eyUOXP}cbf%a zx=r0}6x#_(?(eY)ar*!~PowA926vJWc{ab>JzSW^#XX|qq{+{7p1o!!rS-n0p8R4^;qePv%zffVq186k}{Hr@#C{Ek9>QbB8 zg0`m6VNP{8wk#pr~VG*Ol13CNkEw!X{$L+JrctokWwhaN8cA-ClvX zkiC5@^Jx4YJIwnF#&61lJI740i+9OSRbmGFDoeYBzH0c8LlghUxQE@#wY4N6eick4 zZ{?QS>bN)a1mQD&h;yX_y@Vd3-{3L-KUR59q1{}ekCpAc#pfW~$>I`+*F*-dz$%dt zzxf7^@}AxCVlbIb+~PP4Zqc@|ygv}e{AZuJUiX`kytl1RWP;+L$A-p!PNe{7Pw7fL&@|=)I9rIipjxjG)jm6T5=d9qlTbdN%B3Rt5LWj%r0#MN;~uAJXd_lB-VkI&tov=m z`(^D6Qc@r^=|0B=voJ#I31JLt@!X2Bb=!bxuw46r9Wo}6AYG6&`NHHgdqc&lq(nIN z6lFEsbs9aJw2OfLNu!_vj=my)4DWHzZJx85rj2*EV2$EW^Lc+ITmWwsouVO=4zsd`H0}2xePZEoV{3DBa3o+j`G>cC>tBgEW&ua zzyC7?sal9-gFTgCDDc_*9@u3ErjJ}5S<>e*t{b)*a+v7K8WLIR9hj+~F*J^_S(-FQ zrN%wxbH5-I-x+^Bq&S6m>|^POnx@)@%1u#a$r(JUqd#OZ@EvB}A!c4AQ={*4W$=WF zmfW4i-Oq6MP2}cl!(cj$CVW&+_vKiV&jDu}xm;6ZVMWFbd1Ylb=B(uB%M9PoQZUyb zB_3h)aGy>$h2i6%bBXB5Oc=(5!rgLhHFrj_kV1wxGd!B$UOyAv)$c)97Km!w%8_w9 zB5KEEHj^)_54*<-g*a0;a{;xarn#4^Zz3)GvXNzNM&3x#cIgR~zL4yW+RmeYjNz?3`g>T+WHPdP z%o?agf(&Dmc?HQ#*G<;V54(WHN=cr_igIWsv?&W=kAzsV5SV!+IeipsaV=(*L-~O# zRSI&)8w@c2bGQAKKR5t%-- zpK4Sk@IO%Er!RBw7B~Csz#7-o*l7?cOkI@>4hWGf+j>GF-%QJ`PW{<->mQWt#IfeznJ-5-guDr@|>@6&L6Dq|Rr5bTe zb&`@D!3AJanb+t(AVS^uqvW+{Zh6=|q}cVxpewtN?x1Ta$&cL4y8glN4%Rh;b=^~1 zU*ABvHolO2F@6&HV*E5&6nlp@nBdH>NzCO_a!6eE z#AUn40$&e^;5Eit*KUXH2s4GTfEyTASOAI~1ia>RqEr~0yWv<7U5edW97SNGd_8W~ z$YoQm6Fa1X*tsMs;x!W0<0QkISuAXX*zwZY)fU&|XUn$DJB6re6e^QEA(wR>aPyBH z#PnwTOcryB;i)VJn?8sMr_34kW9Jzt&vhMs^S8`V$s9STL&%;|yTgj0l=>PQBZM*T z9c0B5?zh7WS6ZsYD6w3B2r3>9j4zc=Gn{fBVDwe2SftD;v(4}*T zBgOSoyC2ecVu!!W0^eeRe`kTSS>S!h=sqN-Ib9e#khUrJL0lmqzg4M5Ly4~1j8yBIaR<@0*WMDx{8^S`kocDN=VJ_zxT+aU! zFZXs!p0+g9U5Z^Y&Eia_)8B|WEhw+czhmbao8J*3Y&YWMyRR{qRuNd=1=cr^rRD!} zC)uudRv)sp`~x;QSPg)iLv?E#D&h=jbChPuQmpG{16Es0CAL5 zF{NE%xReEivjCOgJI=e4?43MF5upT5yGnItX_@;KArPBQJc>;BY+-@-d$WX)-KrRb z=rv+rc=K{GmaMt^5S!s_H>3M$R-M9Ta7i-GF zn4~o2itL|cRZ|Aa;-u7Z76o=zUBlL!0?xdppkGE3Q|{1%eC=&WdzqwnAI6$^QA^|b z8}=Y;O=ZqRxhtupz{;gJj7x9YGt9uH*T$vyms5e9cA_{K$mV;GWSmAu3-*7E~J(-%&Vsj_x-7QgCgRdTeHo_N6r8VV-0scTv9HHKHn@|2rX<`8E1H?%hToB)kD|HY)B!C zxCuLR7Qgs2GI%kjIn~7Wx`Q1WA1)X3G`CD_&$g7WSVDI;=y`?{2~KOGpawW<{Rvpdb+%3x(k*-tDX*O;B>bx13-zrySdYZPx)8|_x6J;$^w82&fYf)A=z zt`Xh^sISY=E<}4jcyYef>#ZvVfq|mK%*^f&VfUvkVCD*+*Sl0dOedO>jtALN<}(+c zds7!O{0ghQi@EL~crnh#Q2!7-dz_!=@berz55l(}JzaJ^f%BCOEBG6`pesv^26f+YhjHX?@1j35d14+d-Z&+CKOa4M^_&}U$#d=#x1}^$1 za}AW%RI6(dM=J5Q_RuHuh9V?^HT=q?W)|=sD|nkCp7PKqhQ=x8wsTjqhv=Pp|Dt-vy#(L$ zlDY^*0iypxTm404@*0hWOMSx04r4*kU>9$Wy7Lal_!5uB$;@MEEZu#jUSzKq(FtT# z@;K&tip~0z;pNPQ-8fYC2d%Mi=a1U#; zDJ|V))je0Brxa|>qt4`8SkR5Y_QrPviTV$AS{E$HwU_*U&Na{_H8Win@pR8;xCg^H z(P>)C5hOzq9nJ!2;DzK-Jmz}Zd>!xQ58r?jFkIAavYcnz<$8E5Js4hw&OX;~pn}EX zVJ_d@Jnddi8qZu$lV&StjN#901r`igF@S5tn5tMQO+2 zZbH=S5cS#%Wx=S^Duo{2HCY=O?t2{-WW}9@%~gU6_C=0a+!r(o%}X2g_lfNypH-~} z7Qq{z&sM7}#wc>`m`h5H0`HhyYGY(gHtS#*Eofpm2!oMm0y|o zRVLnut<@%0^So@x9OZhFhkfg$#`Y6K;uFlZpSY6NGQ5W+JjfDeVT1pU`yFiX`_cwK zFC76SGxnl}@~$ZEPIwG1L^78H;$vqdtV{S@q%U=`OTSIQV>9;uHX zvK`NFk?O=z%(9rxsAiZqL@Alf-5qo<`pkI8!*zH~$ni)aY$EIe&*szq+3k0TM1SE| zngT<9#7(C>)iWdNxi5Do3f{R`7s#kyNuzR5fRx8$4JM{z3sR;9_DZKOm}sxm%u;DL zk}{LZ6)Hp-71xwM$h&&=9lOp4t7(4)0^{y#5r^=EK?`=rxCDG=Gwzw2S(2v(&wnO6 zeO|JYB@V=X*h;$BRmqQfW%gn-ZexPLmW_r+d)O2+uJLu!@zR{tFAYpX0=Fsp@H>^W zZ)Hi=Aaz|AS(9~#GC_Wk^@#eSTb5>zj!(WFqp-pE`t>5Le{qR?J$qo%F{FmTVKR|M zNh*_h8oW4Nwq_4flfz|B?{xLWzS7ydyHX=7dKX6}{|(Ntd+LQ~@XLd}bJXNfvZZ%U zW&;*aOxH1=gn4nxOI_`Z7}UoR(F_*S(3by?JZcCsbG{TVL*U+@c@ zG1t_iNb6{$2YQ<4?)V0qL$dEZ$&S z$tWzkfS-U*hQl`owAgRq-O^&lKf*M8?zvJGcM5j@gE4!#_W{`b4y7L@Z#^e`y)xS7 zzyTSllo@u7LY~+}8Tit#ftLj~r+j}v7f0eA#(t|~OKeWQLf3DtNyC6Izzx0uCqOY+ z)KQPm?_Y!@Cz%`M9(#$anJ>2kGsuGT9xj93TQsfIY!jbG`nUMEz-w<>BJ$qxi|s=i z1#a}|Rj>8=YX9!-gZQ}-_a)ZRc7MIo;opP=Ik&nRX*ELIh4gB0;-m=Lzgb4WHCyuX zA!V?Gq}XwRXN?;=82M)^wb{6aX)7&*@ERZk%R?z|Q*lHJYa#D+oSun2c320FQ`Cf| zvV71^HKC`>9Gs3E*ikq*Us11mJc``eg1llUCY(k5GYd+8T4nBmJIs_g2Je zfu)Y#^kr$h73}vYjw@eN9QysqeW$_}UERy|IpPzgaiEu@({B<|H2S(17W?=B*P{E` z-AB`8&d?z)GQ0f+Ww%(`#jG~^Uq^y$$B=U<0kr37ol!n_TX5nwZ_9U@8?)UjL=H?D zoCn9kYx-NkJ2Cq~fAwCUxe>v{yCfBSr_q|w9z%<}O(lf_AO9Uue(SnOa~%Gh1ci95 zDAMyB+i+C@AtPy2N_XI2qq(0~=ilKj#G8^z|KAZry5l1HIJ9Hkcj8n=Jn76c6)Cbq zq?VXBtaIYKJ59tofeCQLcI0qf4QH0Sc>drmru$LYT%~=uFAd{5pmZfC(ki@l72h}5 zkUeGoH}Wd|yKod-rr*>Rn*G}xX8%FUKzfCTv7`Fq;C?`?%1bs2CngDA`I&K(WHaaD zR^p&o)jXJ&#la4F`G#B^8#ViSRUjr^9T*mtNjd zk6mPzIvR6yrOqOAc3_lU(cTKbn8`0!meL@_yizl+OX|G1RdOfe{VJX?Y=`SkI!A31 z%M0!Pmub8XyZ->bZ@4XH;jsA+;=9dP$9G}4e+np|BU=F!V6OoMw?n~l?LLZZ3}ady z9A*6ig7-JE*ja1Zxvx=7Zif~X!xKn$;dI#>&B%gK5=@!UF$=ErAi>xEmxM*1AOWp> z_1%?^POUM7kKM?=&$(9shv-4*PGe62b#zJYlT zRERt2H4BcVUy>R62{{@YT!{W3Qq}bs!$;T*KHi>NfWm;1fH~Dlg@Fy?o?mt`$0N+K zojIlxe9kommak&M+1$B_39A@h&xAM*fUppByq-jta9~8ifX**6_toME z;sCouLOa#D4LVEFRfC>m!}Jt|K?`;Z&q)-^?9jZls%umt@^Y zyV|FZ+&{9m+W-<0OIIBIXsD6&$}wEd8a1qI6#Ux{-`g-}cw=zcAR9+z#Ll5mwwLwT zQS$3i_ovUBj-VhkVjK2h$mF#$I_VB zE57m~v=hn()NULLmAOWFQ{H5?@+tXz-b%I05}7%=Fv=VTbNsaWhcA_jMo-M?!c+OD zzrqlYUTuDQj;!s%`{c`CqN3vZkEB*)%S)rP)ru5p87#F%%$YQLvD*nIP15S zVJV#vut%W;$C#ChOsKMv@GE0kRyi#@c=e!EB$3N1;^nkkZm>Lf5@aKptUFhxUC2P? z!DF)VmZNI)QTb>=FH`jA)c@;MxwW9c9$G{Xe!lREzKLNz5=RUq_^UoB0FTpvqbrzc zzf8Y1vml~36Y?AFXxyhlz+@tdz^N6m6HI5D6NMe`9%At~3h~7Zq`45i6hUmIAcp=d zSKfM8d=xv_AJra2f2e#kKS7!cBV18j%zqsXdAF1Ns88645qRbj7ybsN(S!FB_WWt4 zVE>=zd%p0e0;xv5UU$otVxkD=Dt*3*srlCA{C>vcq7rm_3T^f3yBXWYxer|F*_%6X z@qiBASV!@;=lrXTznk%!d5 zl^yGEk5{51CbVJ7<=$~sQ4wuC{v3JJ_(kgZ^K#etr(EHyh|sc~$Gp+mXv=}M4fOO= z34Q?7wy6_$@TRUxjK+nAaYKG^aa5KOZS!9C93NzwxwM4LA^aE9KrJ>DwoyO8)NZCu z06bM|-aro_6Pf%r?nq>!H87+PU$LRMWe%Wx}~B;&$TsZUysm_`l=HVH`sE&-=ms zJMps=fjzJScq`F~!OSz4c{qK(<2Mb)WajA#x(BH!OG|aH{?3WxZ+Dj1z-9}4FsXXj z#JIUO{b!lB88a8onLg7tYwm)I8M3_kCV8?tSN|0%RPo2Nqx7+2#cUrqXz-AsHw?=i ze&4j|GiJ`((XgyXm?AdrU7^O_BOqtieGAH~B6J>k=;=IZd1kz#NZZQqcg%RENR@Gq zCCJxnUzT^(t#>IYh8uBl6c6e=O{+fxxJlDC?LuqE52>&VS1Zxhp`{;IHKN5aZ1V}U zt(x|7DQ*(T3KqX*@LYs@620j{czB_>ya+*ugo%OAw2eeokG54nif1f}kjR5~!#EnlEPV*N zbkJbrN<0jJmkjs+o`NkI2Gtt@9@rIdz`?-qmxI4VpE;qEh3j`L^sDM4?an(0NrjQ> z&d!+8k?P6oF$P0JXB60$x7*M*ioig=K>W92B%yEq-bl`=h7fOOk-<0)K@C6-Y_CWA zWoOUj$9PqPnjheU)*uh`3gUwY-YP`vDi+1pCr%Ss7AAWSKqZIrK75x81amvLHs13QI;QHJxit!lKA0wJNGS3JKZt5Tl zS!{p@_P~PzaN8#n_#pv&jVS0aBbFc*5D=iu#194ymACe5huhX=5k?o?05P=UyXm}HNxLAq5-cuN!sy?TW$94Dv9*=t0Z@Y>VTtVHY zDcUC}9WADrF&=n3;JVJSpGe{t>N(doRHDxZeI4kZ>R^zIiv?R$6-ZN^2h+@01qMH2 zb>;Vx(~pQRYzxdGnkKxEJ#sUm>hV9Vb|wQeoT|9u5XjqZV@~g0uLN8fseeYe^CFZ13ADQ^q)h5AHu@} z2h2cF)eC+Ik6Cblgpjb{hwz&MaysrCkc=UFfG4^#QB0+|-k=sl@T72csL6;?$k!mu z1!03I>R1W$V`>cQ>g!?(g`voS18^~>6q0fw=Oh^$ngje9;Lqu~p`JN%7*G0#`irr2 zZ^5I>DhkM=Ce=yy=mfAhv^+q7A9?B1rwBAr@2ByyhR(nTNf(YB`0Nax|1b3Upg)TB|D+iV$J-UCliM^z1Xj*_gTP%u zU|a{~L$HBG9XMGJIc4o~X6a%IB8zmUg2>_yOrV_tK36dqF|Cxz9TtVa2J(ce76*N& zkGRtsh3!zs1$uI)Cy3|D8nG3pHxJ;zafr|~og)qakJ;uDYul$qa5EX)wzAS7LkqU( zHaskAFGwD>itJ;uq6mGPQ9uP1u8qtDJr$*s9p^tSbdTy|Vy-2wh~WOj8ClW>2Xl-p zjYJNdq7dEG?%F_v3L-m(0VK4wibM{avH^ayqoI`n^Tr_>y2*fGu?uDd8UG2!+5cC@ z03T*SR229qNmm9H^2{FH<{D=}cTr?JL^|o?DuDpxz?XoP?9QR!UBM>ZTZf^qFtW7$ zVRU4`kJN+I(yKN}*i4aX@TfxWQp7CV2u_k51j@ocYqSsoe=d zXTS-iK!;T7)WLS#TDcbJlECnTt+_^?*p%i9>=%TpGtJNkFM@6G|1Rsj_-kx~gqQ{R zI{sN(^!{KQ)!KoczGNq^S5ztyk*!|kv|S+;?t7qC@10DQxvo23QFCIohct94f1g2T59<{ z($k%k2Fh_>`Lm}D`*KM3zvSG*c7NNyX5<`u?moUke#ZCRT7t&M9bbPB#(Go6ZP&Xz z(8b$tgVab_d=z{~w5^`z;^SL`Li)%h_>oY1E9KlaNZjf&+t>a9l;Cn^x>>FQ}qi)H~bnsu9iHHi&^T zHlqb-V`WQ)UR<=4Z!kK_W%qXFCB_=cyKRs|+m}b`s{ZR5cq>0A-BPaWH85|t+SF8B z^EG3xjWr5mc|X&2kDc`Ew!8-DRvw`nC>8TNbzySQSiWB8r{q2-8fA$NAByXR;`$D{ z9_Y>w=oIw$R5w@-lDMmfVZZ_z_0nCBQhmS$&tNshCC{Q?JBhky^$5ogenp$FFRz_F{1YcaZv`y_{fHHaeLcAYk1@eX`nM z|0hNpM!7lf@xJ{6qz8CJzd%`;%%}DXwJuy%Q^2H!OQ?R{*I7VLJ1odIKR$yNFir zv3_;BdIR&i57|m}E2u+ced^O(mk$8qsPAU*zo-I%022alxyiI8AN1aRp_m zq-ixy5uNAe@*Up##VcK?i9C~j2V5kqmABD#;B{C)FkOYrhK9eRtH>kJhYmndZMm2` zSa2Xfv-^Y8cC;AOVk@&#xVKM;=ZY*+==?uH-u?uYW#dzQ0`#->FxQPRRM&D=%+OEF znc16oiBGsZ>la?>&;Jy8#uyi-%G{#*G6l-nsW#ac(YQAb;W@WQ`tq5TwG0!^2lb4|WEP0p ze!TMbC^>Tqzi@l7yy0Km-G6{InTPl%SuZ_dGimg4ZU9XG>8-ZcZLjNh0-WPpg6|tM zO|`uNI+LI>*VTM&x7&pq%Y=>NT1>5_!WR7N(wXg`n#!czJ?&Pn)J-Plum2-vO0^2v9e2dFjv;Q&Qi-*adNQjog_ual6xR!I!T?xB=vSCt13y0a@t=?jI5= zm#*OBLXxa?HrrZe(0jtZLe*F-nqh1g4SWA^p?G7dk@-JWY

cl*kL@I$OO3%4}{w zC$cxGP0fwvuC@yOepu#Ke0SHGYTa3oYG5Nw6}FwQv0ds*tit@Vjn!3%8tZ#l8X)!z zA@&=u3l(5-gjMaM>zvhO0=K8v8KFE^{ov|i77wLMW{V9G0W^~gA*_XcJttUd5LgIK z(Eo9P1&596Qh_y1U`0VFZ(=g%+l{D_e!PuaFoa5JI{O%)JsfA`XoodVW5@Qr5J0}Ygm_b^_8p)CLfIn(Nhg% zz10$zLhnd5682W&vL;=zS@)>n5c*IQ7+msH52QtIQ_^8oL|pY_l0Mv`r2%l-C%&5)S}x$kt%9Y-=C4{kiLu59qAKDU6Ia5Dyc=*zF}Bw zH;L|>&^=ELqV9bzBSrT7z0WM9=-y`_Qm}g4Kam3FwsJ7>h(LJ+DE%5l6Y-c1k8%95wh|*-M_xD4C^&b{rU_{eG|;5>{6PTXQo;m zrhbq53`}{JoPyMZsXv%W*0ys$bE$wY0vy6S5XuLk%|efi8Bj`^Zz1%O8zR_r+)40# z(0fAA(+hgm_99jOFu}uuAUPkQ!loxcu#CClSLtMcq1Hc4aEl-~-$`&bNNp1YLpvd8 z>_E@@yR5XW(Jamp1j!t=5e9 z$+qA(wiAM;-zM0Bp4BlA+Y!_Wg0DLXz6w&i#0U`%-890~{}aIu^sF_s_fAf?f)ctwM*_#(?09f}o`ng6V&l;1hyiZ|4BrKu;xlRs?5a zgz(7jnhSM!Gox^y$-;dah5Hn4vw$Thllv?X?o+)FtALLdIb~p*ZMXmWMGKK%�+( zI|3#{ovDGA==_FQL=9qzUO1_y4BN<1)w)UUt=`K%Fqa~Lqvf=ciUrVtOMc7)VVe$t zLNR=O4Z~)Z)tv5s#l4I+KYDYt4ZBj|?+eM_8*ldag${pTDExf_mMRMM25Ag0gg3N; z`u`mh*St^1PKP#fC0T=0C6MgJ`i;=8UtXuRxkmk{{RzKwgCHHFkzxqPFy8` ztdaG>hTKTRZM7Z9e)j)?EL(t^IiT9Z>LknR7TG>yhF0;?sMJmD9H|C2K_WI5kcivc z1c{bxLKE?Q?M1xcZX(lox`j&P31R|(sYN}0LaHErvkk-PoiS|f7-$j4zg!m__wJPA-@~vG42y`b$7H048+-U_ zk)P{Dq=*|`tB@jYbhQ?@;ZWZhhn+IGml&M??f)x-2ze2hBVw+!LaP*bLTIkNHKDnD zjug?V%Zo_CyUQx1h+17tNWr^HAEe-2{-TxjTVDO$tWOiHpLVcr?Z!TDwg&Kytp#|0 z4f_59tblbn2PyO|M|c1;x_j8@Q$6&nwI^} z)t|6@>}B4Vpy%L}C$MiZ$sBPp?ZnA*)R}At;Z3wq+*o|G-=GkjC0l1;F|i;Pe-wPR z@y+vhtDB@kay?{_R}X-ISQW0mR)?(^d;_z63({fCMw?Y_;W8U-f{{9fJch$5i=6`ue<$~;ePO@u+Ga{E{6VQ$A$l7T9APaZ(`^Y+}THBM25oAqHvI%Nl zTp4co^-}YK+>rLfW->=Dx;|fQLPwfS*z?U{3iWE7LR-)4(_k4pG2yleGZQ=Mt9sJ5 z*>uHS^PH@2tHP}gw~0zKe4gkO?C?_4shene)0}TSn+%Vcnew@NU0$3qQL%c%U!q0)3r8x89EUtt;Ws($dMCZ9A#1$8-VTt?1K#Aav`^E}=u6O?||RZ1@p5ypj)*&o^2e??3vwb_F8ZknjP$f?_y5P9^hc!u?|`>{lr4p*6M$~ z+y(cnJNQ{&w}e5lu4(1m+(S@QriT`K)+`Xp%C!q^Xw>qGs)FuXIEg^WW)4VV`OB4&i9_N#W^D=2^d? zbJ@smcZ3&@Guv2y+M6BFt)0P7?E-#tx9}S~z;}jzds}pC>+&m`yM-U$J-qGPw(xDx z`*w<9pN?4@bl|hdUXLQQ*HR!$5C!^qz&5SliqL7MvMPz%SO)cVB=s% zHXQI<+rw)!s-1m>w?psT|JnZ31^m68!nc_nGw7rV?U{b#=8bJq>+C@M*Qz6FoD;qa z*D<3d0Q-%(ZPRzbeCw91b!uC$wH3~c9_@tF>Eye-zazY+@vHR?6|`>6TFJDha#t%A zr~gwr_`l2VbR?s}vu@Xh=`AtvZ^-C!z5~70|7oLW-0Dc*cBJ3aeLJ<`*Zx`_&xwS6 z{}SU!7dz6&w06H7)bdw9bfgWAv|LM@9@NrbCuynm*ENoU=N%1Fv>;=NHagO2j?`akcl|ppfBk?X6_SAeyKZq54A9bM$B6AM z`R}z8RF_`0S(rFCIAaPGwEzQpHghkcR2B6 zpd)d$c)W$9OcV9i!8BiS%T%H;^T+?-9&QP9r@(Xik91n;7KYo(FX3Uk>53kYP+zTY zWUksH)M@uok4q+MJM9f|9Z%P3K*EXn3z*g?MIDY3qumg3{k*siq3am}-|AkAhA%lr z=se#zV~+3yP4;x$@y0XJB%`guVzTWrS!{Iruw2}RrgNw?zG_yHT2U5heiKhnE5)g< z_q0P@({Mi3ZvXzWAdSP^xc*L%t`sbC$YBlyaVehRc_+j%DP1WWaw!_Q-cE_k#Q827 z`E$7Oj*&YKvw{C?FSq6z9a3GLqKjr_bR11P%tlAuW=MRqe_HR>v!2t>RBatFRg$Mi z@(Te6kPG~%gJN_}>`q^LJe}E- z4t83U${|EP(}$aaypk3-K#v!2=$U1@sdMm5E?3j&jbgeh&w8DaDkE#%sl(#0py57k zPDg?$NYwK3Ae{IVhti0a<)5Gu3*|%lI8(PTT~UUR1np0fiAWcOUR(*rqIjfO6kRA7 zh=y*0$hkp$#DaKuaznu*)Cz`Y7ec5pE_7u5nH1Bb7RO@A z?$8NBp!*TQW>b){1@L+!jY)cxbFK1WN_BSIxyZ@7ll~PSx37!)!c)XHsBTA6cg}xii<@BQZ#NO66+y z)8PtFo^LgPf%n)Ji&4k;=z){05U)uwLKZsMAPxmHlTne8Q;@?!T9ZkkI^?KaQ-;nR z%5cTl@wi-P#Pe$*$8?i2q)w-RtYxB5RX+?c6_OEWU9Lya0NM1qGHBi%!!*$_aXN$e zol}YN?P6I(UJccO1=|seVyi*=T3s1EWiwUU-oy7*r}Ux#PS0UnTg2XU0|ZL!^GM5+ z#*<9H=`A$wC$4*n>l37W*Gl+<@fe(pL;qH0F&UXfXVk$Wdg2uLSphJpg+uCmQ5>6{ z)>~Yk7eFrwpv~H7G$n~aq}VH*EJm75wtZkxasJB>USdZhJao# zpzp$5jTO_Tk(>h6O#F{%wUe%=;vEDqwnOyD6g|d)c~!I%heI!l!=Y0j7wyF1&}rgu zs4EVKHoqd;kxRAOFRl}Svqi%q0f^&J5K{meW{8Hur(Vnv?V?4yMWWpx(XJQT(J2ln z687N&CCac51`8vZ8c-YIkV!0LfjMNs!5fQ7q1vE@s19hm`jF>=Zub+Jrd()9vFL(! zpyYI21sNBW-*{(>a_TvVa;({S%80tb@CZHC&zOlA8r@S3>(NM8rW5?%Ap@+>sAuhT zwoCZxrhGiV#9SaxsChw$bO#dh*Fx1(SBYz(>ZwB2E}LO99}8jJCh9&B!Z3?#u?S7Y zi4VqH)}q~C+paZg6JI;XN4m_*2Hiew6S#=Lmk#*$BGaJ$O(PwpaY*t0iX?nm(_qYN z*9RG+GgJ|x-4S8ojp<6QcBJYEzc$FGei`oEYKw*3H9#Q9bx4p~=z`t`9Txp0XKju+}m*{u`bemL!jH58T>O z%@~$YrjOk{Ncc7wop+FhN<8-uH_-uoah_Wp4MQwp9_ncEl2o5M3z_E@$WR}A)-Cv*PR;L-Brr+D+=V0m&T4<2F| zI(a<0eb%Ad0EZegAqSj5Hez0q<)KT_kPvynOul2t2Zl*aq`a})>GcI*{2(x#vD~EX zBvt-HL_kj{R2n7my%9s*C*4h%#EblV#C-kvNi^dB_Cx0z)Y;9ARKFmL&l>uJJb8On z%CNJNJn0SY9~mys`;n(c8ssrUs`4U3Bzg3Xs;8oQyZBAGzXr_BIqcxK92QQTN~5>) z!z0qeXNl(SF_Nx=5RBAfPvn7zE;fz=!xOFd=bpH4b zDDSBYpjHXLAW%R^pi`)om!76RP@)7vAMP5Pq$GZ>#^C_S1iXkbhb2=pkDtV7-=Ri{ zH9RLaL{8kxACHZf6CUD6W8*Ce-xK>&PS#X_!or$j%$J4gS|(mZi&`k^Y6SIJ1Q#Wq zU=U=23ADrNuz=Ayt_u7jfRYm8cv{>8mP8i|R?a6`Ee^1-4C)?#O>}p>l*dv8giWmP zC2TbUgk2V0tzMLVmyRXcVyvaJCMGZ-CCul+@sqt0s>!=TQ!nA@+AaaQmv4+W_$Bxf zcH}lx(HmD`_@+|7_{Vrnytj-O4?l~K>YK0!OfxbW-7G^&jo#5a!$^^YS1D<+!6_m z;1>SLnBiWrKbVV)hge`hqN0*Xv0rh2(@6K&e-f_=f9G>e!E#Imf55cNGiGgzNQVA} zYGVrcHB<4>m{(gwGE_(^MkSHJ8WvEa*x+;p@=ze-3giaxJ!XHe*j}1}+OEMsXA#FS zuo82q9J7MUNm&6gac1NHoFtAT4wSo8(pz#(cz1yoJZa=#c}bGdII`SqG!1ECDB=yG zHL?_xO`yy*XQC}gusfDKieE@NC#T-ck0h_@n{eLm6plnrq3M?JZ$2?)tDNvKKbK2*Nsh)69Re7SpCw3UetVOK1g06lC6H% zTwTsg@HApsSp}#Pe0KwgjVIu8p{2X1_uzAa5NeX16(jxuTR@7}`nHst$8gg)Z$I-0 zQT@qH)nU9~oOgIqzNkJ-)zlMPkNHF|NrY(;mDRUkILODJ;+5n4<@k5`$#F?jW6z^4 zyfFCKB-HhV*lkRLy3lsqVZmpusK1l0V~>jKyRdv|uOHo2vk0Yci*|?k!tv{6lgj@+ zKG-WxyzM;hPHG=6Hm9bixMyledffT9hryAQus76wh@MK=DIy$qLWF20Z7#+M!m-sN zyfZ+n8asaEJ>m}56ySHSx|9V7@RtQ+FYvNdZ#nj9z9)5^U+m`?)gpUyfVP=S~=3Cx#Qewc!2_iF& zu)|&z0o6HB_)*AwEMGLqUyhC74@~lwV-)_>B!fKqYkqjrmtLdq6$_gnfN%_g8db^n zO)ip0$8p1y>GG%qzIKX99u>|HO-YjzzvsHC0dia&H%|5Pj{8c8hr+us2)8eB5ODhF3M=71RSkERO702t2B;K2wyI=CUrCOCl5b60;TiYP8Mj(@ zVE}`vI&K~JoH@%YZYsp_1yG!CX2wVG^)tiexWRnS%y?_+8`=Tp8U>N-(}JpDccNVe z1WT=Isl)Z|tyb(g6$C3d?2KQ7Xz`5LHtL91VJ%;3btsjvnRG|k>I+9n+eoebMr~YV zL3TZ4#4~2)%CXP$B}dm@$0YoJ2WR&(F>=%8_?)_qhf+<^mr&*H4Z)&nM0`$}!b^{oJ8)%s#$% zZphG>9fTY7JycUCSdo=uMF&HK)uFON9G zSInO*k2uW_%|9%USjE>ahzb~KCXtVrjxmGhy2?lk^KwX08Zn4}upmGl`yBsv!6V9u z|Kd*EA`qZKRUsCTU@u|-bx%KYeh#p$_C7dF{uO2^Mh8Pz^0yB>lRNJ;|Nzgjk~y_=eym zSy$YX2&SIV4K(=SUy>~gVa+6AK_nPs^hMYNe__$2r0BP(Rf-?+FIokP>33WpR1(GL zmz@Y6qV6qKA03VR8ZU}A&vIjiL5?oxvofOO=(YS2N*40BGNPsZ{7S}rLI48X2 z8@QuYiJMcn%R%Eg@Nbe>KrdqKzzJTNGd<+fm(nqfd~WyhREwHL{QT)ws;=IGjWT22 zSX5c$KX~Ypb$*{tYvuaW@fz3E^wSCa@De|{I+}mBq{8d$c`7^jRcm+CoqY4sVE3~h zQ^nbnRR@;h_ToW*-g8;NqJzEhihQoNzKd#|h%Fj$FUv*b-NnrHCXYn7D~-K(2Pn+X zbEeMXinnD0^-*~5R+nb9h&SQKEYK$<8FenDCfph}GU?1WykuFh`8sZ&g-%KEaD1G!UXDdYSS4v3llzExcF1|^Q={g@~MS< z=c--usoS`2jW5qAnl0C!<%fzUD&glSDrxCm`&#?nwY#}tb)sDR5MR7{uUs3A-UZ4> zSDfBk`siEDUy((ABz9CEeZwo(_{9!>hhB`v2v$*GP%C2su(;@ST_w9cat>`_-eZ$% zD$wbdw})YGP=dc6fL_CX;#bzB%3&Y!#CyW!@OSyrdy>3AdR>de=`IKYlW!8i_J$_eDYeqkdI=t zPGS`FrkjE$dgcucc?fSuP*eHlwE^B?esCZb$IS@rSVfm`UbEIq{s>XZT17s2nK!Nt z*N1-Lw?J5cxzlAGbcu>qHpcqM&Jspiv?noiOly>-}UTN7tKrAOB7@*dL;y9RGoP-@kEU z2wvi1Oc&iEG!kLRli(P4z#!>=h(-A$5@5(9qGbSCk2$!QR>@ve(l3(89Dkahzkm4X zP#?T==EC~ad7y{u_L?N0zhhscwQ*x_NgntHFMBXYR^oZ% zgAd39r}MQXY4X4cRVPaxk>ucq`P_$;@Zf(Eu5VvV_~+E6xGfA?!D8!&=%m3;GiQ`2 zyNB<3NRfm8#E($&Ape$E0@1CuYMh?!;3(agF6d6*CxH-hNr;tC$b{s~i>bR(j zxC}G@hQ-Ifzoq|7cm&4;d)JsRU^U0h1LXUiCUZj}nEa1tD#(v~M zXv!iQKTYHJ5K+aEwfyl-e%2$)@OG{%^A_U46E9TH6j%!}uE*=J5{eNa&NO-vF9Oga z-sly5g79z$eZ;DMBn5r&R=?J#`6BvwJNt}8A9uW%W-<2Gs0GnJIf8iv2y%na^)YAH z4~bjlN6f;rt+zx5=JK>h7R$lW{NN)Ya*&;$d&FN3mU#0c26j-;J!h4l!oW^;(1Y!o|_)?_6!n3?Oy?9k=tfLj4ypGSXQp^&5sR{ zmBakdW20r|O@8e$fZfg09)C(!{>*=Pe6!c!^CT*zT!c5Sg3qt{<|iJJl_6YTmM8~4 zz-N`cCkL+Q{#z6|a04H`Mez*uCl3030CJa!Twn+<*fLTMTwS$i%N0ou_>S-31+woY z-gm2B_WiOdbn9kW4xP*oJQeO9I+O?wn8v?-%Al_)5p?l@y{+3Bu$mj5eoG$o2EXuh zxci`|se}Is?!C<*`~S!jx1nkTzrHP89u&w!w;z|^)>U2IUMk6Ve8Y?X+~|JCV(Q?x zj~DOQEck?E4OX{n-~~-@Ezz=g!K$xA5T=Kgs$hs|?Qv$g^w{$^OAhvpM2}f zUn&Rihh)GtsKdnblKFLTi1_0XUxi**mkx}pD*x*qN%lmf_DX>4`C8TdSEkCc=h&*f zukMj$or%xdKT+15&s?4QIPDbvE>@4M;+@huEFp9CFPD|qzb%?{rRd%QAWX-qp)ZJ0OzGp?mDv%N?7Xbpyd~6LAhZ@ZkXj2Ih*V(J`Vf(&8F_ixD7&QFyNy){N}T{JbnJXBFH6qz!i% zrAAtD;FDC$MMc?pBq$9+5RRCVpOu@Fn=NEBj|3Po6XK5;nf zOwP_*QnZwiojo*CqQshCghuEU;bfpi5o9GdmkM&uwt{X>MrO9ghO-6d$!8%uEDKoOkT!{rGG-qXz5;Z(x@x4Xa ztHNNnUAKykYHdYw(@>J3?Ob8w<5pxWStX1-d1Y3_^z3EX)=XjHVjOEU1*81#)wzY5 zk&zA~rmZfDuw)d%>Yd}6Hx_LQR-#8s5yaVEV$;^p?9=Rp)UmQ)MRrkkL`wcj$VOO^ zCA-kNG9!;b#?llQg$`#FkyeI}maG|6#$w>MAL+QHM<6yfZ;jT<0@sNV5(DjMQ7iZ#@=du} zt20(8$zZ*Rw5E*G%*3+v-c?FUVeXo2WkQOmXsKC|e~*%R?+V4?nA`MOnw^m)ij@#$ zX|8DGK+_!iu$6G+8B4MS9BRn^6c|`UR<`ggc}4S#5itu|2(_8E69 zt}`<~ivS%pFt?oCC99zza;v#{Ir%L$D@DU$U@U^Tr;pXqiSpps$^ATI3!$58BD<`K zqMC8q`c#y!!1%No0O=(s-_wh=d~RddsUsud42&ql1w)zkU%W`|q7+4r)WwnBMrqr2 zeCwO%y&aVut4wdE@->J5QI+ubNv^!~ooA~I?|$zZRrwU*+wGNyv~=GrEv?++NWbh* zew>@$9~oS|Pb;q8M;xoYyAJ35HOBty z7X9;zWL9B_+;}+XiD*VC`i| zGVuA>*Ukhs!~7RCwZRUrZqqBNd0zj_cKFp(f(+gv1UHzOw28I k2d7;r*F#9?4~NjMNH;%ihSG*6P5nt9aJ%u@!WoGy9P zkY#H25DoqDl_R5x9ZQax_&~)6R_4jam|0p4UMfpv?pk{W%6ref_q*Sn@B8Q9d%gGC zYp=cbo~c@{sM_II(T}q;EBjwc_-G~*pZ2$kdJ;aJ1(=iL(Rh7!NWLQWl_9)7$cOHY4J9skl( z@S|UF$tlt6z*c(=LF{Fs!cV&)<k1E1_fHx1#c2= z?23H~7E7((X|ODCWWg}25G*Vl`#2$jis<{{j|9A2PGemK;|Mv1DYDEhF(`JC+=nqi zJ5{$>j`w)vGB!Zazba@`z^pbX3#vuO1O;kS_MlJqaTX=dmo})&k$Rw@ev1ftG|4*F z*{-_1$b|+o4Qdp!Bd3rS(nwSfKM(uWy7U75J`GDFz?e(&W>2LMLoC9`G0mdiOW^Oy zt)5SDw0)>IXb}Vi8KkMuFDQa{SHQ@in3BOW>gO9x-bJcI zEXbv5F)_`}K-P)%$m(ruiOEWEh_QB$)ooO7l}*wxGDGfTWOgJa*1T{C)0p^>c*xe| z@nIKXg{CfO&@>91aSkFF_FBD-NrPZ~&jj_LKcQAleG&G>RA!8aw|g35x{c6nlv~+s zG%Jk;k>5g$qo>NPZR1^N1=CVLHWse-j48;M1#&PV!(8ST8>?{HTC(ul-ja>qMJr3r!yDPalp^PQOdEYLhG|&)agpbeknTr(S)ysN&ccg z7W@AceVynJ!$B}~=Su_|+bm#NNOPR}qnA-%8bR$b--z}Q(H=qVt|$EQQ}1T#M;!#6 zaui3U9;DsZjal}=UR{pV2kz-YLIPbXsg9ZIRgAIdGyal8#Y9^NMIl-R$$;{Z7_FRc*!74~X8o z?tQfu(RY+PSXj2%U1hhqtFz4R8Yoa`#DGQAh;vSD@na+Yy+zVG$AyeGk*^{;ggQ{_gvc|8!0qJW}E#(_s6M z5BP{HFeNvN7xi+M=jKTKem$HV8d`F|UFh}qh{$>eW0Pi(OYKHS9C>8YOSm3bB~vju zlu2@L&pq z9kSHxXF1m6fth(pC1T=dyUkuhhMzzaQY#hi_i=`6amaCE$g4#X{gU#VU9~I6u5!f4 zudz5ZB{2&fOR?^F1e@EuA68D2xN->IYpW0b5M zCj_Lis4UwqGbz2FA+mEg!ner_aWkoKJLO!=^K;yLaT1+AdNsa>qT)`1Cra>4!VqyX zL%wRm+je~RMX*3SLVO&7f8;2+-$k%Ykhd{~{36;{j5g2roH!7H<2ob-krV4H7+dgH zc?*u-h|yEz-kCMWU58nDvCHPJV~SjrdzVe+KCDaFl*|~8UC9(Kqx%qBnWa}TyII9t zHkFE*>_%0p%j`bPR^Cix3fx8#Z7^VXY6*_YW-~LK868vDY(|bPBbt-SB%9etaO@GB z#&5T&l=vtp?IH#zuF&R)^D4FHsbYMi48r#i+Q-N*_g0tH}vqObZ(3u2NBw$!|M8UmC z65RHU5Ij!^OA>9YvQSC95S%0g@5c0dR^TSls07|1`ncC3txnJy1ns+j^hAl*6~YTS zo>JfV60&TVA;vRFFn>j6;Py=86XE$=i)b$=>~A+kTkOn==Ww}UO1L@OyW9jOSWtZ~ z+PJwO#~IQ7To_YQh?cJu06&2|B-$3y{#djR3BnwtTTT7E9|cZq7kM{Dd#j+sk)n&u zNY@ix?1wJq!o^+>n-Ffr7?Q+7wxR1)+^CM*o0!s$sh?!uslfeHS`z4| zB!3M3+s#WYG+(V)rag4?QhUiTbh&SrEut-E=qs>s%=D6>ZqhPVXslqm+)ce1(?;5%1fmnrSIj7^M{`gW_??j|w$Uwa<)-0dWsdrOQ%mgA9SzUOQ83vv!qx>QA- z*~*Y$gj_@+5_4b+z{A4K9(0+;q&n(K48AHZG5!E)2}(BAMfs`A9RHlY=OdOZzV=BSt_Mpf#FZ& z^K{F58=pYxbf})RdP2?>Ot4r<-Oa^e)yhMqTp~@Ifcslj)>iK!z&cGBXs?u1Vfchs zc2-d;l~M;{O@LWjWu!rCbhNTjibY5m2dj#*jcJi`nv{fy99%<>5?SC6LRc3;q=cV~ zqIqg77@kb$DJNmVlj-(U3z?s1sjp&E%I5k~To0RZ%NGYY%M$`;BIXovY_ZS=L8Y&h zQjWU&xUdjrCYQMizp;#xQeJ^;PZrx#huLx4e1kRFFwSUWl2WqC8cPrFVV32Ph}6^r z5m;fBvFB+ww5ytQ0-8{Wo3`EDgvU8dTV~{~hT6%)HK`Jg9qWA07Oa1&NoaB_sGl~1AEV(Ve+u)Tj@Ksd#PS813T-wORusae z$?rkk)6qP6Ib41^R&9L&m5a1(&L>9eYzUhg6K1`D;8Gf}IYofaR5Dd5wbJsSXzB%( z^-7`bcAb!kF0x*PylMIXYm;!%6~S=~=1z;ZSx*YkSrL#!6?7IAXSIY6EB$`HM*g#| zM^#wsbUxR9K26wPDgDF+?sd34EjPou@IMD!z#y6#>*RLtVIVSBQ4=j+w7KVbR1+fv zjD{)GlQh<(tkTjrI|h(IIFPkBY@eR2wDurdQ#-+T)1!Fe4G4H~U$8qps{^l=sTo`%#JVVa~d-T-y~h5=eY7AInq z%!uKMyP}Hi4(j(or5{#kt!;O+%(qVxrRCp2^Q_ryxsYYH#kCvMZx89R zG@)i2Y6f2#6dMlZqJbM={V9Dgq4DNCX2tQ?*)4eYaY(^JL}dHiftdHcZxni*cn zY;K(R{w~& z3F~+6zo3^_&eq0eo+VTI?I$cT;$dSV3C(N}aL2wbUL}vr0^95`{>UVFVs`dOYb??Z zBZ|JSkq50&;+!!IXNycVl9|cknBRA_Fj*~VC*gjj#L~&cCef{p)nCvl;D_0Z_#@q6 z=A0;v)kzYv_Yi&Tw}@vMcVXk4=)&aK1N}wX*(1M?wNV*6O^TCy`U-sSQWPoNDtXVl zIH|&%>|#nD$&9YQtgZ5NCJNeED*vRUn_zrS%abla>T@sZt&upaJlb3CPr@xR{+WQ4=pbBnp< zdkCAS7h2|}Mq3V&hP!vs<+XSM_zVxByh(w(@i%0Vg&ZIynPK(341;AQbrM&QH~Q=p zTl!_x@I4JZX*sy(h4G~4Az;3iCr*dx`MAvuh2itR(xm@W>}x^+R$EA&b_X(_pU>0Z zf!)uK;b}`ixxmKL=0e_re4b{3ss#p~+!yK>Xtc>#5Tfs?dh3JE4Im4Wwea17WMgUz zE*#puHVcwbWDt7=`>{lndKGLhyv zr4-^Z408)zUHtB>)GTM&i{+9sMdZcgyeV9GfJ9kDah1|+2bE-v_TmsKxy&l1_lCu#!aCkdf6O~BnqLovKeQA- z!;`*+i6slTbr+l~N#@o!p?m3vdh0-Pq3Ie1!A9ZfGBy_-#;jK7<#5wS8*+gy$hkIqixkV3of8Ea${tn7l zEe6Xb@_E8K95fp3awOQ9#^**UVKx-LYT#Mlz`|FT8ZCq5yKPkU(x{wtV~8Q+mlah- zOHoRQhp2xW%o930XZ)K+(%4+S+F%O0K~zNM7ooB|s>D3qzs-AmqAZ;7jM(kGNfFDh zPCw8>F^?A`?Tvc+l5F#6!qCP=?svJ=l+QL|fF@$m8$Hg5OY9Kdq!MQa`6MBmf?3EI zN8UnD;TX;FINgx=+OTYMXQHxACi?|d1cke&ktFoLLmKh53XQl7bRJKzT9XhGgbCY8%*|Ef9ke|7G&&tMzXi5s z+PLPwx=L~0O#<{XUP#pA-3Q+A7TPLUh(a#&>xTPT6=CVusLooF?*^p(`2Y z>v^V>xIeD)%t_k4lpV8*n#sj~RqQ1|+a`m<|(xBBesUaN`p z>`EA3q33&Eg6S1inzLfQ_VoUpJ>yLXTN$N18!Cvk&cQ43I&t?DSY2r-+MSPA%g=Ni z7Nj$UqPA$on;t(RKVuh5S4%004)k$zHW`deuO6qeD{#Mx&{^?C zn^k^zPE%4Ooaql5h*F*j$HB7!<&X*5F=qn)AdxgE+BM!46L$LEgZR_8JMiz3MW?^} z1D-6>z-Cy*`<{l3Rbl+}GMKQ+z)u&$i>t2l(;OzhVdrr!*!@N^k9!Z2R-1X;Qs>mw zWfG6=1h>|t@>4Ysz1FTg^*jkbH3y2AD>=Xi{~L5$%r2h!o3i$0Ts9i{&Q=!Nqkq%qN;2G&;seg#|9c0mOCU zbhE#mi6l;!?9z!(q4li{equ9N-mc~+9)qfPL!jmD$M^{YP zcE6Ls8&AURceeA!mymmou`#_PeM^mIZ@!|4Y)mGFjs3yAUY{ECFea%xID&ap88qhM z0$|pc3h_=aG+{g)VGgn3^;L)&c%VO?4a)H9ALliC3@l!s%cJ{2dLb4knbe}cU#FFWyD3XS7Oz59nZ0ejp2EwsRoH_7D;FXB9&TjvDZ8)(rO zR}sdSsAGc$37uk;LkMTV;_NIqfu!&DLU`N=NpauSTX#z z(X28p7G$;hje=<*q`#LGc8pSNU_JW#*mLBKo5yia?@TjuEE$%*XEvJB^=svIn7c{E zG&ID^9j9L>m{Q=vd(rX7Lhy#z%(|0=U+!V$f52DFcid?_`~}t3D3>MbAimldaP+3j zj9EuR`R`~mOsvl1N4G&ubsRss1I}0HYmPogR}{1?v1*iPj*iZR%uRZZuL+xM-H#^7 zCeN!hl%q+odDG&&USg+ECAK?_Tp0B$T8vo|J^cyoGoDlAz^ESxqB77lWkr?JF4>hJ zK?$Vh$R(J&IVsch68?DV$9lK|kwY=0#mI6U6{6BTvX`!ZY-ky2KT`Y0AXLW)5dhaV zPbe|3p;n$_dzZTNG?L|`XHYP$UubL^FdAu zNHRix^+7%rkbVgHO+fmzw(X}Ba%7mimRV_Tz8xh<=;zBn#QKrma9xh(4R;`*CMvF> zRn~i2iLc?O@hUtI9b$UoYPgDm+kC2?qmegUfr&LUc*AZuQe#jxymep{&ei<3&VqUw z{9F^OY*;8d&qB&4b)jf&= z)=)h5?1pV-+)nM#NVyN1L5T&u^;r-^myop6$PM2@0ll!)q}Lu;N3Z3ue`ho|J`C4(u8T4_WSzN_og9K=_@ta{jKH7d zaP`I0U_U8=Du;G@gnTnctSpm?R@QCwhYeLvM5SMdRuQ(&i5C8E0GBLb=|1`xiuWV& zI3sVOKxX)hOJzp~AZ{z-R6ZOC+#6unrRRo9NZ+MTH&k>`mLg@4kFr8gzTSbGi@0DP zZkfO>g%u=aIc(i!&>Z|u*n&TGU@|;}c zPnO^jyZXUp$b$01>`#8rTXFnEb5b9+%lPqrzG|L${s( zeQ`ycfNQmrxnT|DI-|MaDVXC7CmqO{Gzr@);(Q9Qf=!aj)O;YP^&Ad`njz|s#; zSTkJvU^Nf(z@oj&G%?~F751|zZxq7Lp%7NLl!sM7OJO?zca)J^i6K}Gs!x}3tsCC`bU4?ZaNhc~K;qhm zA*W$8@7WBu8qV{ce}+Rxe&Cv4ox6`3I1lT3RE|l4Po?$1&pf)M-jN3a@y{AxZRYb-`y=sUxdeS z2QJEek(h7~NlPeBcKbPPr>{!f*#k^xzcSWt@Jf>Vi=Rd&x-cIyQ&xzPQ68>c;fy+0 zBk_l@P-`~uhk811HIL*xV2d;3^BT^(SHtxSdAvtDSibz2cfa7g{bhz9?=}g{ml}E3 zbI^8aKkxbu?7zH`2fYqOS7Le4Utrmlm>9<#8cfiW-W>!}(;3{f=~|U_4ff6trA5b| z;NlgXemh zkw#W|6Yo-Ped3h9AEA)aVMNP%=MOD66qdaw@nQi#dvAN+dscYgdoO$6b=n8vbqY}a zk{nfk-3zY2=zE{>y^na`2TwYSe(9_z`DUHBe|`A>^X)V9|0t)#^S?2Co9{L3hHu>e z9sP}h|C#QF;a?4KqQ}$jf$z5eD*~)ujy(wfZw)#BAl=O;ob~s%OU~*xwZuUcNYa}AT(WRW>YAsx