pc-bios/s390-ccw/dasd-ipl.h

   1 /*
   2  * S390 IPL (boot) from a real DASD device via vfio framework.
   3  *
   4  * Copyright (c) 2019 Jason J. Herne <jjherne@us.ibm.com>
   5  *
   6  * This work is licensed under the terms of the GNU GPL, version 2 or (at
   7  * your option) any later version. See the COPYING file in the top-level
   8  * directory.
   9  */
  10
  11 #ifndef DASD_IPL_H
  12 #define DASD_IPL_H
  13
  14 void dasd_ipl(SubChannelId schid, uint16_t cutype);
  15
  16 #endif /* DASD_IPL_H */