/* SPDX-License-Identifier: GPL-2.0 WITH Linux-syscall-note */
/*
* User API definitions for paravirtual devices on s390
*
* Copyright IBM Corp. 2008
* Author(s): Christian Borntraeger <borntraeger@de.ibm.com>
*/