efi_set_time_t 90 arch/ia64/kernel/efi.c ret = efi_call_##prefix((efi_set_time_t *) __va(runtime->set_time), \ efi_set_time_t 610 include/linux/efi.h efi_set_time_t *set_time; efi_set_time_t 1004 include/linux/efi.h efi_set_time_t *set_time;