Searched refs:SSC_GET_TOD (Results 1 – 3 of 3) sorted by relevance
22 #define SSC_GET_TOD 74 macro
26 #define SSC_GET_TOD 74 macro
119 ssc((unsigned long) &tv32bits, 0, 0, 0, SSC_GET_TOD); in fw_efi_get_time()