Searched refs:fw_efi_get_time (Results 1 – 1 of 1) sorted by relevance
111 fw_efi_get_time (efi_time_t *tm, efi_time_cap_t *tc) in fw_efi_get_time() function293 efi_runtime->get_time = (void *)__pa(&fw_efi_get_time); in sys_fw_init()