/*
|
* SPDX-License-Identifier: BSD-2-Clause
|
*
|
* Copyright (c) 2020 Western Digital Corporation or its affiliates.
|
*
|
* Authors:
|
* Atish Patra <atish.patra@wdc.com>
|
*/
|
|
#include <sbi/sbi_console.h>
|
#include <sbi/sbi_platform.h>
|
#include <sbi/sbi_string.h>
|
|
static inline char *sbi_platform_feature_id2string(unsigned long feature)
|
{
|
char *fstr = NULL;
|
|
if (!feature)
|
return NULL;
|
|
switch (feature) {
|
case SBI_PLATFORM_HAS_TIMER_VALUE:
|
fstr = "timer";
|
break;
|
case SBI_PLATFORM_HAS_HART_HOTPLUG:
|
fstr = "hotplug";
|
break;
|
case SBI_PLATFORM_HAS_MFAULTS_DELEGATION:
|
fstr = "mfdeleg";
|
break;
|
case SBI_PLATFORM_HAS_HART_SECONDARY_BOOT:
|
fstr = "sec_boot";
|
break;
|
default:
|
break;
|
}
|
|
return fstr;
|
}
|
|
void sbi_platform_get_features_str(const struct sbi_platform *plat,
|
char *features_str, int nfstr)
|
{
|
unsigned long features, feat = 1UL;
|
char *temp;
|
int offset = 0;
|
|
if (!plat || !features_str || !nfstr)
|
return;
|
sbi_memset(features_str, 0, nfstr);
|
|
features = sbi_platform_get_features(plat);
|
if (!features)
|
goto done;
|
|
do {
|
if (features & feat) {
|
temp = sbi_platform_feature_id2string(feat);
|
if (temp) {
|
sbi_snprintf(features_str + offset, nfstr,
|
"%s,", temp);
|
offset = offset + sbi_strlen(temp) + 1;
|
}
|
}
|
feat = feat << 1;
|
} while (feat <= SBI_PLATFORM_HAS_LAST_FEATURE);
|
|
done:
|
if (offset)
|
features_str[offset - 1] = '\0';
|
else
|
sbi_strncpy(features_str, "none", nfstr);
|
}
|
|
u32 sbi_platform_hart_index(const struct sbi_platform *plat, u32 hartid)
|
{
|
u32 i;
|
|
if (!plat)
|
return -1U;
|
if (plat->hart_index2id) {
|
for (i = 0; i < plat->hart_count; i++) {
|
if (plat->hart_index2id[i] == hartid)
|
return i;
|
}
|
return -1U;
|
}
|
|
return hartid;
|
}
|
