/*
 * S390 IPL (boot) from a real DASD device via vfio framework.
 *
 * Copyright (c) 2019 Jason J. Herne <jjherne@us.ibm.com>
 *
 * 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 */