Searched refs:tv32bits (Results 1 – 1 of 1) sorted by relevance
117 } tv32bits; in fw_efi_get_time() local119 ssc((unsigned long) &tv32bits, 0, 0, 0, SSC_GET_TOD); in fw_efi_get_time()122 offtime(tv32bits.tv_sec, tm); in fw_efi_get_time()