SYMBOL INDEX (20 symbols across 2 files)

FILE: novdso.c
  function clock_gettime (line 7) | int clock_gettime(void * clk_id, void * tp) {
  function gettimeofday (line 11) | int gettimeofday(void * tv, void * tz) {
  function time (line 15) | int time(void * tloc) {
  function nanosleep (line 19) | int nanosleep(const struct timespec *req, struct timespec *rem) {

FILE: tardis.c
  type user_regs_struct (line 27) | struct user_regs_struct
  type user_regs_struct (line 28) | struct user_regs_struct
  function is64bit (line 30) | int is64bit(pid_t pid) {
  function read_block (line 41) | void read_block(pid_t pid, void * dst, void * src, size_t len) {
  function write_block (line 47) | void write_block(pid_t pid, void * src, void * dst, size_t len) {
  function scale_timespec (line 53) | void scale_timespec(struct timespec * ts, double factor, double starttim...
  function scale_timeval (line 64) | void scale_timeval(struct timeval * tv, double factor, double starttime) {
  function before_nanosleep (line 77) | void before_nanosleep(pid_t pid, struct user_regs_struct * uregs) {
  function before_poll (line 84) | void before_poll(pid_t pid, struct user_regs_struct * uregs) {
  function before_select (line 92) | void before_select(pid_t pid, struct user_regs_struct * uregs) {
  function before_clock_nanosleep (line 101) | void before_clock_nanosleep(pid_t pid, struct user_regs_struct * uregs) {
  function after_gettimeofday (line 110) | void after_gettimeofday(pid_t pid, struct user_regs_struct * uregs) {
  function after_clock_gettime (line 117) | void after_clock_gettime(pid_t pid, struct user_regs_struct * uregs) {
  function after_time (line 124) | void after_time(pid_t pid, struct user_regs_struct * uregs) {
  function after_clock_nanosleep (line 129) | void after_clock_nanosleep(pid_t pid, struct user_regs_struct * uregs) {
  function main (line 136) | int main(int argc, char *argv[], char *envp[]) {