mmio_trace_mapping
mmio_trace_mapping(&map);
extern void mmio_trace_mapping(struct mmiotrace_map *map);