arm_efirt_gettime
.efi_gettime = arm_efirt_gettime,
efi_status arm_efirt_gettime(struct efi_tm *, struct efi_tmcap *);
if (arm_efirt_gettime(&tm, NULL) == 0) {
status = arm_efirt_gettime(&tm, NULL);