event_timestamp   324 src/msdos.c      *time = event_timestamp ();
event_timestamp  2629 src/msdos.c          event.timestamp = event_timestamp ();
event_timestamp  2670 src/msdos.c    		  event.timestamp = event_timestamp ();
event_timestamp  2729 src/msdos.c    		event.timestamp = event_timestamp ();