Symbol: smp_pkt_t