arm_fdt_efi_rtc_gettime
efi_todr.todr_gettime_ymdhms = arm_fdt_efi_rtc_gettime;
static int arm_fdt_efi_rtc_gettime(todr_chip_handle_t, struct clock_ymdhms *);