SYMBOL INDEX (8 symbols across 1 files)

FILE: meltdown.c
  function __rtm_force_inline (line 53) | static __rtm_force_inline int _xbegin(void)
  function __rtm_force_inline (line 60) | static __rtm_force_inline void _xend(void)
  function __rtm_force_inline (line 71) | static __rtm_force_inline int _xtest(void)
  function flush (line 80) | __attribute__((always_inline))
  function probe (line 92) | __attribute__((always_inline))
  function probe_one (line 115) | unsigned char probe_one(size_t ptr, char* buf, int page_size)
  function dump_hex (line 168) | void dump_hex(void* addr, const void* data, size_t size) {
  function main (line 198) | int main(int argc, char** argv)