Symbol: EfiTimeToUnixTime
sys/arch/ia64/stand/efi/libefi/time.c
186
tp->tv_sec = EfiTimeToUnixTime( &EfiTime );
sys/arch/ia64/stand/ia64/ski/time.c
171
return *tloc = EfiTimeToUnixTime(&time);