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 */ 17