2N/A * along with GRUB. If not, see <http://www.gnu.org/licenses/>.
2N/A#ifndef GRUB_EFI_EMU_HEADER
2N/A ? (void *) grub_efiemu_system_table64 \
2N/A : (void *) grub_efiemu_system_table32)
2N/A ? grub_efiemu_system_table64->x \
2N/A ? (grub_efiemu_system_table64->x \
2N/A : (grub_efiemu_system_table32->x \
2N/A ? (void *) (grub_addr_t) \
2N/A (grub_efiemu_system_table64->x) \
2N/A : (void *) (grub_addr_t) \
2N/A &(grub_efiemu_system_table64->x) \
2N/A &(grub_efiemu_system_table32->x))
2N/A ? sizeof(grub_efiemu_system_table64->x)\
2N/A : sizeof(grub_efiemu_system_table32->x))
2N/A#define GRUB_EFIEMU_SYSTEM_TABLE_SIZEOF_TOTAL ((grub_efiemu_sizeof_uintn_t () == 8) ? sizeof(*grub_efiemu_system_table64):sizeof(*grub_efiemu_system_table32))
2N/Aint grub_efiemu_sizeof_uintn_t (void);
2N/Avoid grub_efiemu_free_syms (void);
2N/A int plus_handle,
2N/Aconst char *grub_efiemu_get_default_core_name (void);
2N/Avoid grub_efiemu_pnvram_cmd_unregister (void);