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