iPXE
null_acpi.h
Go to the documentation of this file.
1 #ifndef _IPXE_NULL_ACPI_H
2 #define _IPXE_NULL_ACPI_H
3 
4 /** @file
5  *
6  * Standard do-nothing ACPI interface
7  *
8  */
9 
10 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
11 
12 #ifdef ACPI_NULL
13 #define ACPI_PREFIX_null
14 #else
15 #define ACPI_PREFIX_null __null_
16 #endif
17 
18 static inline __always_inline userptr_t
19 ACPI_INLINE ( null, acpi_find_rsdt ) ( void ) {
20  return UNULL;
21 }
22 
23 #endif /* _IPXE_NULL_ACPI_H */
static __always_inline userptr_t ACPI_INLINE(null, acpi_find_rsdt)(void)
Definition: null_acpi.h:19
#define __always_inline
Declare a function to be always inline.
Definition: compiler.h:611
userptr_t acpi_find_rsdt(void)
Locate ACPI root system description table.
#define UNULL
Equivalent of NULL for user pointers.
Definition: uaccess.h:36
FILE_LICENCE(GPL2_OR_LATER_OR_UBDL)
unsigned long userptr_t
A pointer to a user buffer.
Definition: uaccess.h:33