// SPDX-License-Identifier: GPL-2.0-only
/*
 * SBI verification
 *
 * Copyright (C) 2023, Ventana Micro Systems Inc., Andrew Jones <ajones@ventanamicro.com>
 */
#include <libcflat.h>
#include <stdlib.h>
#include <asm/sbi.h>

static void help(void)
{
	puts("Test SBI\n");
	puts("An environ must be provided where expected values are given.\n");
}

int main(int argc, char **argv)
{
	struct sbiret ret;
	long expected;

	if (argc > 1 && !strcmp(argv[1], "-h")) {
		help();
		exit(0);
	}

	report_prefix_push("sbi");

	if (!getenv("MVENDORID")) {
		report_skip("mvendorid: missing MVENDORID environment variable");
		goto done;
	}
	expected = strtol(getenv("MVENDORID"), NULL, 0);

	ret = sbi_ecall(SBI_EXT_BASE, SBI_EXT_BASE_GET_MVENDORID, 0, 0, 0, 0, 0, 0);
	report(!ret.error, "mvendorid: no error");
	report(ret.value == expected, "mvendorid");

done:
	return report_summary();
}