siba_core_name
static const char *siba_core_name(uint16_t);
i, siba_core_name(sd->sd_id.sd_device),
siba_core_name(sd->sd_id.sd_device));
siba_core_name(sd->sd_id.sd_device), sd->sd_coreidx);