162306a36Sopenharmony_ci/* SPDX-License-Identifier: GPL-2.0 */ 262306a36Sopenharmony_ci#ifndef _ASM_EFI_H 362306a36Sopenharmony_ci#define _ASM_EFI_H 462306a36Sopenharmony_ci 562306a36Sopenharmony_citypedef int (*efi_freemem_callback_t) (u64 start, u64 end, void *arg); 662306a36Sopenharmony_ci 762306a36Sopenharmony_civoid *efi_get_pal_addr(void); 862306a36Sopenharmony_civoid efi_map_pal_code(void); 962306a36Sopenharmony_civoid efi_memmap_walk(efi_freemem_callback_t, void *); 1062306a36Sopenharmony_civoid efi_memmap_walk_uc(efi_freemem_callback_t, void *); 1162306a36Sopenharmony_civoid efi_gettimeofday(struct timespec64 *ts); 1262306a36Sopenharmony_ci 1362306a36Sopenharmony_ci#endif 14