*/
#include <libfdt.h>
+#include <libfdt_env.h>
#include <sbi/sbi_domain.h>
#include <sbi/sbi_error.h>
#include <sbi/sbi_hartmask.h>
{
struct __fixup_find_domain_offset_info *fdo = p;
- if (!sbi_strcmp(fdo->name, fdt_get_name(fdt, doff, NULL)))
+ if (!strcmp(fdo->name, fdt_get_name(fdt, doff, NULL)))
*fdo->doffset = doff;
return 0;
regions = &fdt_regions[fdt_domains_count][0];
/* Read DT node name */
- sbi_strncpy(dom->name, fdt_get_name(fdt, domain_offset, NULL),
+ strncpy(dom->name, fdt_get_name(fdt, domain_offset, NULL),
sizeof(dom->name));
dom->name[sizeof(dom->name) - 1] = '\0';
/* Setup memregions from DT */
val32 = 0;
- sbi_memset(regions, 0,
+ memset(regions, 0,
sizeof(*regions) * (FDT_DOMAIN_REGION_MAX_COUNT + 1));
dom->regions = regions;
err = fdt_iterate_each_memregion(fdt, domain_offset, &val32,
continue;
if (FDT_DOMAIN_REGION_MAX_COUNT <= val32)
return SBI_EINVAL;
- sbi_memcpy(®ions[val32++], reg, sizeof(*reg));
+ memcpy(®ions[val32++], reg, sizeof(*reg));
}
/* Read "boot-hart" DT property */