#include <stdlib.h> #include <stdint.h> void dump_packet(uint32_t addr,uint32_t len,uint8_t *packet);