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