Searched refs:xen_efi_get_time (Results 1 – 2 of 2) sorted by relevance
42 efi_status_t xen_efi_get_time(efi_time_t *tm, efi_time_cap_t *tc) in xen_efi_get_time() function63 EXPORT_SYMBOL_GPL(xen_efi_get_time);
167 efi_status_t xen_efi_get_time(efi_time_t *tm, efi_time_cap_t *tc);