Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | aux_syscalls.stp | 24432 | logstatsplain |
-rw-r--r-- | context.stp | 2595 | logstatsplain |
-rw-r--r-- | conversions.stp | 1315 | logstatsplain |
-rw-r--r-- | errno.stp | 4956 | logstatsplain |
-rw-r--r-- | logging.stp | 791 | logstatsplain |
-rw-r--r-- | return.stp | 587 | logstatsplain |
-rw-r--r-- | string.stp | 563 | logstatsplain |
-rw-r--r-- | system_calls.stp | 135734 | logstatsplain |
-rw-r--r-- | timestamp.stp | 884 | logstatsplain |