event_timestamp   324 src/msdos.c      *time = event_timestamp ();
event_timestamp  2636 src/msdos.c          event.timestamp = event_timestamp ();
event_timestamp  2677 src/msdos.c    		  event.timestamp = event_timestamp ();
event_timestamp  2736 src/msdos.c    		event.timestamp = event_timestamp ();