yeahuh / rpms / qemu-kvm

Forked from rpms/qemu-kvm 2 years ago
Clone

Blame SOURCES/kvm-s390-bios-Support-booting-from-real-dasd-device.patch

4ec855
From 2267eadd85126ea711cc8314c7df45a70486651c Mon Sep 17 00:00:00 2001
4ec855
From: Thomas Huth <thuth@redhat.com>
4ec855
Date: Mon, 14 Oct 2019 10:06:44 +0100
4ec855
Subject: [PATCH 19/21] s390-bios: Support booting from real dasd device
4ec855
4ec855
RH-Author: Thomas Huth <thuth@redhat.com>
4ec855
Message-id: <20191014100645.22862-17-thuth@redhat.com>
4ec855
Patchwork-id: 91791
4ec855
O-Subject: [RHEL-8.2.0 qemu-kvm PATCH v2 16/17] s390-bios: Support booting from real dasd device
4ec855
Bugzilla: 1664376
4ec855
RH-Acked-by: Cornelia Huck <cohuck@redhat.com>
4ec855
RH-Acked-by: David Hildenbrand <david@redhat.com>
4ec855
RH-Acked-by: Jens Freimann <jfreimann@redhat.com>
4ec855
4ec855
From: "Jason J. Herne" <jjherne@linux.ibm.com>
4ec855
4ec855
Allows guest to boot from a vfio configured real dasd device.
4ec855
4ec855
Signed-off-by: Jason J. Herne <jjherne@linux.ibm.com>
4ec855
Reviewed-by: Cornelia Huck <cohuck@redhat.com>
4ec855
Message-Id: <1554388475-18329-16-git-send-email-jjherne@linux.ibm.com>
4ec855
Signed-off-by: Thomas Huth <thuth@redhat.com>
4ec855
(cherry picked from commit efa47d36da89f4b23c315a7cc085fab0d15eb47c)
4ec855
Signed-off-by: Danilo C. L. de Paula <ddepaula@redhat.com>
4ec855
4ec855
Conflicts:
4ec855
	MAINTAINERS
4ec855
	(simple contextual conflict due to missing downstream commits)
4ec855
4ec855
Signed-off-by: Danilo C. L. de Paula <ddepaula@redhat.com>
4ec855
---
4ec855
 MAINTAINERS                  |   3 +-
4ec855
 docs/devel/s390-dasd-ipl.txt | 133 ++++++++++++++++++++++++
4ec855
 pc-bios/s390-ccw/Makefile    |   2 +-
4ec855
 pc-bios/s390-ccw/dasd-ipl.c  | 235 +++++++++++++++++++++++++++++++++++++++++++
4ec855
 pc-bios/s390-ccw/dasd-ipl.h  |  16 +++
4ec855
 pc-bios/s390-ccw/main.c      |   5 +
4ec855
 pc-bios/s390-ccw/s390-arch.h |  13 +++
4ec855
 7 files changed, 405 insertions(+), 2 deletions(-)
4ec855
 create mode 100644 docs/devel/s390-dasd-ipl.txt
4ec855
 create mode 100644 pc-bios/s390-ccw/dasd-ipl.c
4ec855
 create mode 100644 pc-bios/s390-ccw/dasd-ipl.h
4ec855
4ec855
diff --git a/MAINTAINERS b/MAINTAINERS
4ec855
index 9b74756..770885a 100644
4ec855
--- a/MAINTAINERS
4ec855
+++ b/MAINTAINERS
4ec855
@@ -896,7 +896,8 @@ M: Thomas Huth <thuth@redhat.com>
4ec855
 S: Supported
4ec855
 F: pc-bios/s390-ccw/
4ec855
 F: pc-bios/s390-ccw.img
4ec855
-T: git git://github.com/borntraeger/qemu.git s390-next
4ec855
+F: docs/devel/s390-dasd-ipl.txt
4ec855
+T: git https://github.com/borntraeger/qemu.git s390-next
4ec855
 L: qemu-s390x@nongnu.org
4ec855
 
4ec855
 UniCore32 Machines
4ec855
diff --git a/docs/devel/s390-dasd-ipl.txt b/docs/devel/s390-dasd-ipl.txt
4ec855
new file mode 100644
4ec855
index 0000000..9107e04
4ec855
--- /dev/null
4ec855
+++ b/docs/devel/s390-dasd-ipl.txt
4ec855
@@ -0,0 +1,133 @@
4ec855
+*****************************
4ec855
+***** s390 hardware IPL *****
4ec855
+*****************************
4ec855
+
4ec855
+The s390 hardware IPL process consists of the following steps.
4ec855
+
4ec855
+1. A READ IPL ccw is constructed in memory location 0x0.
4ec855
+    This ccw, by definition, reads the IPL1 record which is located on the disk
4ec855
+    at cylinder 0 track 0 record 1. Note that the chain flag is on in this ccw
4ec855
+    so when it is complete another ccw will be fetched and executed from memory
4ec855
+    location 0x08.
4ec855
+
4ec855
+2. Execute the Read IPL ccw at 0x00, thereby reading IPL1 data into 0x00.
4ec855
+    IPL1 data is 24 bytes in length and consists of the following pieces of
4ec855
+    information: [psw][read ccw][tic ccw]. When the machine executes the Read
4ec855
+    IPL ccw it read the 24-bytes of IPL1 to be read into memory starting at
4ec855
+    location 0x0. Then the ccw program at 0x08 which consists of a read
4ec855
+    ccw and a tic ccw is automatically executed because of the chain flag from
4ec855
+    the original READ IPL ccw. The read ccw will read the IPL2 data into memory
4ec855
+    and the TIC (Transfer In Channel) will transfer control to the channel
4ec855
+    program contained in the IPL2 data. The TIC channel command is the
4ec855
+    equivalent of a branch/jump/goto instruction for channel programs.
4ec855
+    NOTE: The ccws in IPL1 are defined by the architecture to be format 0.
4ec855
+
4ec855
+3. Execute IPL2.
4ec855
+    The TIC ccw instruction at the end of the IPL1 channel program will begin
4ec855
+    the execution of the IPL2 channel program. IPL2 is stage-2 of the boot
4ec855
+    process and will contain a larger channel program than IPL1. The point of
4ec855
+    IPL2 is to find and load either the operating system or a small program that
4ec855
+    loads the operating system from disk. At the end of this step all or some of
4ec855
+    the real operating system is loaded into memory and we are ready to hand
4ec855
+    control over to the guest operating system. At this point the guest
4ec855
+    operating system is entirely responsible for loading any more data it might
4ec855
+    need to function. NOTE: The IPL2 channel program might read data into memory
4ec855
+    location 0 thereby overwriting the IPL1 psw and channel program. This is ok
4ec855
+    as long as the data placed in location 0 contains a psw whose instruction
4ec855
+    address points to the guest operating system code to execute at the end of
4ec855
+    the IPL/boot process.
4ec855
+    NOTE: The ccws in IPL2 are defined by the architecture to be format 0.
4ec855
+
4ec855
+4. Start executing the guest operating system.
4ec855
+    The psw that was loaded into memory location 0 as part of the ipl process
4ec855
+    should contain the needed flags for the operating system we have loaded. The
4ec855
+    psw's instruction address will point to the location in memory where we want
4ec855
+    to start executing the operating system. This psw is loaded (via LPSW
4ec855
+    instruction) causing control to be passed to the operating system code.
4ec855
+
4ec855
+In a non-virtualized environment this process, handled entirely by the hardware,
4ec855
+is kicked off by the user initiating a "Load" procedure from the hardware
4ec855
+management console. This "Load" procedure crafts a special "Read IPL" ccw in
4ec855
+memory location 0x0 that reads IPL1. It then executes this ccw thereby kicking
4ec855
+off the reading of IPL1 data. Since the channel program from IPL1 will be
4ec855
+written immediately after the special "Read IPL" ccw, the IPL1 channel program
4ec855
+will be executed immediately (the special read ccw has the chaining bit turned
4ec855
+on). The TIC at the end of the IPL1 channel program will cause the IPL2 channel
4ec855
+program to be executed automatically. After this sequence completes the "Load"
4ec855
+procedure then loads the psw from 0x0.
4ec855
+
4ec855
+**********************************************************
4ec855
+***** How this all pertains to QEMU (and the kernel) *****
4ec855
+**********************************************************
4ec855
+
4ec855
+In theory we should merely have to do the following to IPL/boot a guest
4ec855
+operating system from a DASD device:
4ec855
+
4ec855
+1. Place a "Read IPL" ccw into memory location 0x0 with chaining bit on.
4ec855
+2. Execute channel program at 0x0.
4ec855
+3. LPSW 0x0.
4ec855
+
4ec855
+However, our emulation of the machine's channel program logic within the kernel
4ec855
+is missing one key feature that is required for this process to work:
4ec855
+non-prefetch of ccw data.
4ec855
+
4ec855
+When we start a channel program we pass the channel subsystem parameters via an
4ec855
+ORB (Operation Request Block). One of those parameters is a prefetch bit. If the
4ec855
+bit is on then the vfio-ccw kernel driver is allowed to read the entire channel
4ec855
+program from guest memory before it starts executing it. This means that any
4ec855
+channel commands that read additional channel commands will not work as expected
4ec855
+because the newly read commands will only exist in guest memory and NOT within
4ec855
+the kernel's channel subsystem memory. The kernel vfio-ccw driver currently
4ec855
+requires this bit to be on for all channel programs. This is a problem because
4ec855
+the IPL process consists of transferring control from the "Read IPL" ccw
4ec855
+immediately to the IPL1 channel program that was read by "Read IPL".
4ec855
+
4ec855
+Not being able to turn off prefetch will also prevent the TIC at the end of the
4ec855
+IPL1 channel program from transferring control to the IPL2 channel program.
4ec855
+
4ec855
+Lastly, in some cases (the zipl bootloader for example) the IPL2 program also
4ec855
+transfers control to another channel program segment immediately after reading
4ec855
+it from the disk. So we need to be able to handle this case.
4ec855
+
4ec855
+**************************
4ec855
+***** What QEMU does *****
4ec855
+**************************
4ec855
+
4ec855
+Since we are forced to live with prefetch we cannot use the very simple IPL
4ec855
+procedure we defined in the preceding section. So we compensate by doing the
4ec855
+following.
4ec855
+
4ec855
+1. Place "Read IPL" ccw into memory location 0x0, but turn off chaining bit.
4ec855
+2. Execute "Read IPL" at 0x0.
4ec855
+
4ec855
+   So now IPL1's psw is at 0x0 and IPL1's channel program is at 0x08.
4ec855
+
4ec855
+4. Write a custom channel program that will seek to the IPL2 record and then
4ec855
+   execute the READ and TIC ccws from IPL1.  Normally the seek is not required
4ec855
+   because after reading the IPL1 record the disk is automatically positioned
4ec855
+   to read the very next record which will be IPL2. But since we are not reading
4ec855
+   both IPL1 and IPL2 as part of the same channel program we must manually set
4ec855
+   the position.
4ec855
+
4ec855
+5. Grab the target address of the TIC instruction from the IPL1 channel program.
4ec855
+   This address is where the IPL2 channel program starts.
4ec855
+
4ec855
+   Now IPL2 is loaded into memory somewhere, and we know the address.
4ec855
+
4ec855
+6. Execute the IPL2 channel program at the address obtained in step #5.
4ec855
+
4ec855
+   Because this channel program can be dynamic, we must use a special algorithm
4ec855
+   that detects a READ immediately followed by a TIC and breaks the ccw chain
4ec855
+   by turning off the chain bit in the READ ccw. When control is returned from
4ec855
+   the kernel/hardware to the QEMU bios code we immediately issue another start
4ec855
+   subchannel to execute the remaining TIC instruction. This causes the entire
4ec855
+   channel program (starting from the TIC) and all needed data to be refetched
4ec855
+   thereby stepping around the limitation that would otherwise prevent this
4ec855
+   channel program from executing properly.
4ec855
+
4ec855
+   Now the operating system code is loaded somewhere in guest memory and the psw
4ec855
+   in memory location 0x0 will point to entry code for the guest operating
4ec855
+   system.
4ec855
+
4ec855
+7. LPSW 0x0.
4ec855
+   LPSW transfers control to the guest operating system and we're done.
4ec855
diff --git a/pc-bios/s390-ccw/Makefile b/pc-bios/s390-ccw/Makefile
4ec855
index acca961..d6a6e18 100644
4ec855
--- a/pc-bios/s390-ccw/Makefile
4ec855
+++ b/pc-bios/s390-ccw/Makefile
4ec855
@@ -10,7 +10,7 @@ $(call set-vpath, $(SRC_PATH)/pc-bios/s390-ccw)
4ec855
 .PHONY : all clean build-all
4ec855
 
4ec855
 OBJECTS = start.o main.o bootmap.o jump2ipl.o sclp.o menu.o \
4ec855
-	  virtio.o virtio-scsi.o virtio-blkdev.o libc.o cio.o
4ec855
+	  virtio.o virtio-scsi.o virtio-blkdev.o libc.o cio.o dasd-ipl.o
4ec855
 
4ec855
 QEMU_CFLAGS := $(filter -W%, $(QEMU_CFLAGS))
4ec855
 QEMU_CFLAGS += -ffreestanding -fno-delete-null-pointer-checks -msoft-float
4ec855
diff --git a/pc-bios/s390-ccw/dasd-ipl.c b/pc-bios/s390-ccw/dasd-ipl.c
4ec855
new file mode 100644
4ec855
index 0000000..0fc879b
4ec855
--- /dev/null
4ec855
+++ b/pc-bios/s390-ccw/dasd-ipl.c
4ec855
@@ -0,0 +1,235 @@
4ec855
+/*
4ec855
+ * S390 IPL (boot) from a real DASD device via vfio framework.
4ec855
+ *
4ec855
+ * Copyright (c) 2019 Jason J. Herne <jjherne@us.ibm.com>
4ec855
+ *
4ec855
+ * This work is licensed under the terms of the GNU GPL, version 2 or (at
4ec855
+ * your option) any later version. See the COPYING file in the top-level
4ec855
+ * directory.
4ec855
+ */
4ec855
+
4ec855
+#include "libc.h"
4ec855
+#include "s390-ccw.h"
4ec855
+#include "s390-arch.h"
4ec855
+#include "dasd-ipl.h"
4ec855
+#include "helper.h"
4ec855
+
4ec855
+static char prefix_page[PAGE_SIZE * 2]
4ec855
+            __attribute__((__aligned__(PAGE_SIZE * 2)));
4ec855
+
4ec855
+static void enable_prefixing(void)
4ec855
+{
4ec855
+    memcpy(&prefix_page, lowcore, 4096);
4ec855
+    set_prefix(ptr2u32(&prefix_page));
4ec855
+}
4ec855
+
4ec855
+static void disable_prefixing(void)
4ec855
+{
4ec855
+    set_prefix(0);
4ec855
+    /* Copy io interrupt info back to low core */
4ec855
+    memcpy((void *)&lowcore->subchannel_id, prefix_page + 0xB8, 12);
4ec855
+}
4ec855
+
4ec855
+static bool is_read_tic_ccw_chain(Ccw0 *ccw)
4ec855
+{
4ec855
+    Ccw0 *next_ccw = ccw + 1;
4ec855
+
4ec855
+    return ((ccw->cmd_code == CCW_CMD_DASD_READ ||
4ec855
+            ccw->cmd_code == CCW_CMD_DASD_READ_MT) &&
4ec855
+            ccw->chain && next_ccw->cmd_code == CCW_CMD_TIC);
4ec855
+}
4ec855
+
4ec855
+static bool dynamic_cp_fixup(uint32_t ccw_addr, uint32_t  *next_cpa)
4ec855
+{
4ec855
+    Ccw0 *cur_ccw = (Ccw0 *)(uint64_t)ccw_addr;
4ec855
+    Ccw0 *tic_ccw;
4ec855
+
4ec855
+    while (true) {
4ec855
+        /* Skip over inline TIC (it might not have the chain bit on)  */
4ec855
+        if (cur_ccw->cmd_code == CCW_CMD_TIC &&
4ec855
+            cur_ccw->cda == ptr2u32(cur_ccw) - 8) {
4ec855
+            cur_ccw += 1;
4ec855
+            continue;
4ec855
+        }
4ec855
+
4ec855
+        if (!cur_ccw->chain) {
4ec855
+            break;
4ec855
+        }
4ec855
+        if (is_read_tic_ccw_chain(cur_ccw)) {
4ec855
+            /*
4ec855
+             * Breaking a chain of CCWs may alter the semantics or even the
4ec855
+             * validity of a channel program. The heuristic implemented below
4ec855
+             * seems to work well in practice for the channel programs
4ec855
+             * generated by zipl.
4ec855
+             */
4ec855
+            tic_ccw = cur_ccw + 1;
4ec855
+            *next_cpa = tic_ccw->cda;
4ec855
+            cur_ccw->chain = 0;
4ec855
+            return true;
4ec855
+        }
4ec855
+        cur_ccw += 1;
4ec855
+    }
4ec855
+    return false;
4ec855
+}
4ec855
+
4ec855
+static int run_dynamic_ccw_program(SubChannelId schid, uint16_t cutype,
4ec855
+                                   uint32_t cpa)
4ec855
+{
4ec855
+    bool has_next;
4ec855
+    uint32_t next_cpa = 0;
4ec855
+    int rc;
4ec855
+
4ec855
+    do {
4ec855
+        has_next = dynamic_cp_fixup(cpa, &next_cpa);
4ec855
+
4ec855
+        print_int("executing ccw chain at ", cpa);
4ec855
+        enable_prefixing();
4ec855
+        rc = do_cio(schid, cutype, cpa, CCW_FMT0);
4ec855
+        disable_prefixing();
4ec855
+
4ec855
+        if (rc) {
4ec855
+            break;
4ec855
+        }
4ec855
+        cpa = next_cpa;
4ec855
+    } while (has_next);
4ec855
+
4ec855
+    return rc;
4ec855
+}
4ec855
+
4ec855
+static void make_readipl(void)
4ec855
+{
4ec855
+    Ccw0 *ccwIplRead = (Ccw0 *)0x00;
4ec855
+
4ec855
+    /* Create Read IPL ccw at address 0 */
4ec855
+    ccwIplRead->cmd_code = CCW_CMD_READ_IPL;
4ec855
+    ccwIplRead->cda = 0x00; /* Read into address 0x00 in main memory */
4ec855
+    ccwIplRead->chain = 0; /* Chain flag */
4ec855
+    ccwIplRead->count = 0x18; /* Read 0x18 bytes of data */
4ec855
+}
4ec855
+
4ec855
+static void run_readipl(SubChannelId schid, uint16_t cutype)
4ec855
+{
4ec855
+    if (do_cio(schid, cutype, 0x00, CCW_FMT0)) {
4ec855
+        panic("dasd-ipl: Failed to run Read IPL channel program\n");
4ec855
+    }
4ec855
+}
4ec855
+
4ec855
+/*
4ec855
+ * The architecture states that IPL1 data should consist of a psw followed by
4ec855
+ * format-0 READ and TIC CCWs. Let's sanity check.
4ec855
+ */
4ec855
+static void check_ipl1(void)
4ec855
+{
4ec855
+    Ccw0 *ccwread = (Ccw0 *)0x08;
4ec855
+    Ccw0 *ccwtic = (Ccw0 *)0x10;
4ec855
+
4ec855
+    if (ccwread->cmd_code != CCW_CMD_DASD_READ ||
4ec855
+        ccwtic->cmd_code != CCW_CMD_TIC) {
4ec855
+        panic("dasd-ipl: IPL1 data invalid. Is this disk really bootable?\n");
4ec855
+    }
4ec855
+}
4ec855
+
4ec855
+static void check_ipl2(uint32_t ipl2_addr)
4ec855
+{
4ec855
+    Ccw0 *ccw = u32toptr(ipl2_addr);
4ec855
+
4ec855
+    if (ipl2_addr == 0x00) {
4ec855
+        panic("IPL2 address invalid. Is this disk really bootable?\n");
4ec855
+    }
4ec855
+    if (ccw->cmd_code == 0x00) {
4ec855
+        panic("IPL2 ccw data invalid. Is this disk really bootable?\n");
4ec855
+    }
4ec855
+}
4ec855
+
4ec855
+static uint32_t read_ipl2_addr(void)
4ec855
+{
4ec855
+    Ccw0 *ccwtic = (Ccw0 *)0x10;
4ec855
+
4ec855
+    return ccwtic->cda;
4ec855
+}
4ec855
+
4ec855
+static void ipl1_fixup(void)
4ec855
+{
4ec855
+    Ccw0 *ccwSeek = (Ccw0 *) 0x08;
4ec855
+    Ccw0 *ccwSearchID = (Ccw0 *) 0x10;
4ec855
+    Ccw0 *ccwSearchTic = (Ccw0 *) 0x18;
4ec855
+    Ccw0 *ccwRead = (Ccw0 *) 0x20;
4ec855
+    CcwSeekData *seekData = (CcwSeekData *) 0x30;
4ec855
+    CcwSearchIdData *searchData = (CcwSearchIdData *) 0x38;
4ec855
+
4ec855
+    /* move IPL1 CCWs to make room for CCWs needed to locate record 2 */
4ec855
+    memcpy(ccwRead, (void *)0x08, 16);
4ec855
+
4ec855
+    /* Disable chaining so we don't TIC to IPL2 channel program */
4ec855
+    ccwRead->chain = 0x00;
4ec855
+
4ec855
+    ccwSeek->cmd_code = CCW_CMD_DASD_SEEK;
4ec855
+    ccwSeek->cda = ptr2u32(seekData);
4ec855
+    ccwSeek->chain = 1;
4ec855
+    ccwSeek->count = sizeof(*seekData);
4ec855
+    seekData->reserved = 0x00;
4ec855
+    seekData->cyl = 0x00;
4ec855
+    seekData->head = 0x00;
4ec855
+
4ec855
+    ccwSearchID->cmd_code = CCW_CMD_DASD_SEARCH_ID_EQ;
4ec855
+    ccwSearchID->cda = ptr2u32(searchData);
4ec855
+    ccwSearchID->chain = 1;
4ec855
+    ccwSearchID->count = sizeof(*searchData);
4ec855
+    searchData->cyl = 0;
4ec855
+    searchData->head = 0;
4ec855
+    searchData->record = 2;
4ec855
+
4ec855
+    /* Go back to Search CCW if correct record not yet found */
4ec855
+    ccwSearchTic->cmd_code = CCW_CMD_TIC;
4ec855
+    ccwSearchTic->cda = ptr2u32(ccwSearchID);
4ec855
+}
4ec855
+
4ec855
+static void run_ipl1(SubChannelId schid, uint16_t cutype)
4ec855
+ {
4ec855
+    uint32_t startAddr = 0x08;
4ec855
+
4ec855
+    if (do_cio(schid, cutype, startAddr, CCW_FMT0)) {
4ec855
+        panic("dasd-ipl: Failed to run IPL1 channel program\n");
4ec855
+    }
4ec855
+}
4ec855
+
4ec855
+static void run_ipl2(SubChannelId schid, uint16_t cutype, uint32_t addr)
4ec855
+{
4ec855
+    if (run_dynamic_ccw_program(schid, cutype, addr)) {
4ec855
+        panic("dasd-ipl: Failed to run IPL2 channel program\n");
4ec855
+    }
4ec855
+}
4ec855
+
4ec855
+/*
4ec855
+ * Limitations in vfio-ccw support complicate the IPL process. Details can
4ec855
+ * be found in docs/devel/s390-dasd-ipl.txt
4ec855
+ */
4ec855
+void dasd_ipl(SubChannelId schid, uint16_t cutype)
4ec855
+{
4ec855
+    PSWLegacy *pswl = (PSWLegacy *) 0x00;
4ec855
+    uint32_t ipl2_addr;
4ec855
+
4ec855
+    /* Construct Read IPL CCW and run it to read IPL1 from boot disk */
4ec855
+    make_readipl();
4ec855
+    run_readipl(schid, cutype);
4ec855
+    ipl2_addr = read_ipl2_addr();
4ec855
+    check_ipl1();
4ec855
+
4ec855
+    /*
4ec855
+     * Fixup IPL1 channel program to account for vfio-ccw limitations, then run
4ec855
+     * it to read IPL2 channel program from boot disk.
4ec855
+     */
4ec855
+    ipl1_fixup();
4ec855
+    run_ipl1(schid, cutype);
4ec855
+    check_ipl2(ipl2_addr);
4ec855
+
4ec855
+    /*
4ec855
+     * Run IPL2 channel program to read operating system code from boot disk
4ec855
+     */
4ec855
+    run_ipl2(schid, cutype, ipl2_addr);
4ec855
+
4ec855
+    /* Transfer control to the guest operating system */
4ec855
+    pswl->mask |= PSW_MASK_EAMODE;   /* Force z-mode */
4ec855
+    pswl->addr |= PSW_MASK_BAMODE;   /* ...          */
4ec855
+    jump_to_low_kernel();
4ec855
+}
4ec855
diff --git a/pc-bios/s390-ccw/dasd-ipl.h b/pc-bios/s390-ccw/dasd-ipl.h
4ec855
new file mode 100644
4ec855
index 0000000..c394828
4ec855
--- /dev/null
4ec855
+++ b/pc-bios/s390-ccw/dasd-ipl.h
4ec855
@@ -0,0 +1,16 @@
4ec855
+/*
4ec855
+ * S390 IPL (boot) from a real DASD device via vfio framework.
4ec855
+ *
4ec855
+ * Copyright (c) 2019 Jason J. Herne <jjherne@us.ibm.com>
4ec855
+ *
4ec855
+ * This work is licensed under the terms of the GNU GPL, version 2 or (at
4ec855
+ * your option) any later version. See the COPYING file in the top-level
4ec855
+ * directory.
4ec855
+ */
4ec855
+
4ec855
+#ifndef DASD_IPL_H
4ec855
+#define DASD_IPL_H
4ec855
+
4ec855
+void dasd_ipl(SubChannelId schid, uint16_t cutype);
4ec855
+
4ec855
+#endif /* DASD_IPL_H */
4ec855
diff --git a/pc-bios/s390-ccw/main.c b/pc-bios/s390-ccw/main.c
4ec855
index 57a1013..3c449ad 100644
4ec855
--- a/pc-bios/s390-ccw/main.c
4ec855
+++ b/pc-bios/s390-ccw/main.c
4ec855
@@ -13,6 +13,7 @@
4ec855
 #include "s390-ccw.h"
4ec855
 #include "cio.h"
4ec855
 #include "virtio.h"
4ec855
+#include "dasd-ipl.h"
4ec855
 
4ec855
 char stack[PAGE_SIZE * 8] __attribute__((__aligned__(PAGE_SIZE)));
4ec855
 static SubChannelId blk_schid = { .one = 1 };
4ec855
@@ -209,6 +210,10 @@ int main(void)
4ec855
 
4ec855
     cutype = cu_type(blk_schid);
4ec855
     switch (cutype) {
4ec855
+    case CU_TYPE_DASD_3990:
4ec855
+    case CU_TYPE_DASD_2107:
4ec855
+        dasd_ipl(blk_schid, cutype); /* no return */
4ec855
+        break;
4ec855
     case CU_TYPE_VIRTIO:
4ec855
         virtio_setup();
4ec855
         zipl_load(); /* no return */
4ec855
diff --git a/pc-bios/s390-ccw/s390-arch.h b/pc-bios/s390-ccw/s390-arch.h
4ec855
index 5e92c7a..504fc7c 100644
4ec855
--- a/pc-bios/s390-ccw/s390-arch.h
4ec855
+++ b/pc-bios/s390-ccw/s390-arch.h
4ec855
@@ -87,4 +87,17 @@ typedef struct LowCore {
4ec855
 
4ec855
 extern LowCore const *lowcore;
4ec855
 
4ec855
+static inline void set_prefix(uint32_t address)
4ec855
+{
4ec855
+    asm volatile("spx %0" : : "m" (address) : "memory");
4ec855
+}
4ec855
+
4ec855
+static inline uint32_t store_prefix(void)
4ec855
+{
4ec855
+    uint32_t address;
4ec855
+
4ec855
+    asm volatile("stpx %0" : "=m" (address));
4ec855
+    return address;
4ec855
+}
4ec855
+
4ec855
 #endif
4ec855
-- 
4ec855
1.8.3.1
4ec855