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