Symbol: smp_address_t