| /* SPDX-License-Identifier: GPL-2.0-only */ | 
| /* | 
|  * linux/include/linux/edd.h | 
|  *  Copyright (C) 2002, 2003, 2004 Dell Inc. | 
|  *  by Matt Domsch <Matt_Domsch@dell.com> | 
|  * | 
|  * structures and definitions for the int 13h, ax={41,48}h | 
|  * BIOS Enhanced Disk Drive Services | 
|  * This is based on the T13 group document D1572 Revision 0 (August 14 2002) | 
|  * available at http://www.t13.org/docs2002/d1572r0.pdf.  It is | 
|  * very similar to D1484 Revision 3 http://www.t13.org/docs2002/d1484r3.pdf | 
|  * | 
|  * In a nutshell, arch/{i386,x86_64}/boot/setup.S populates a scratch | 
|  * table in the boot_params that contains a list of BIOS-enumerated | 
|  * boot devices. | 
|  * In arch/{i386,x86_64}/kernel/setup.c, this information is | 
|  * transferred into the edd structure, and in drivers/firmware/edd.c, that | 
|  * information is used to identify BIOS boot disk.  The code in setup.S | 
|  * is very sensitive to the size of these structures. | 
|  */ | 
| #ifndef _LINUX_EDD_H | 
| #define _LINUX_EDD_H | 
|   | 
| #include <uapi/linux/edd.h> | 
|   | 
| #ifndef __ASSEMBLY__ | 
| extern struct edd edd; | 
| #endif                /*!__ASSEMBLY__ */ | 
| #endif                /* _LINUX_EDD_H */ |