blob: c3948289062cd46da280a6e6a41dd9fa3c51790a [file] [log] [blame]
* 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 */