timestamp

uint64_t ppi_seq_notifier_sys_timer::timestamp

For internal use.