1*cc7d2833Sskrll /* $NetBSD: boot-cpuid.c,v 1.1.1.3 2019/12/22 12:34:07 skrll Exp $ */
2d89652e2Sskrll
3*cc7d2833Sskrll // SPDX-License-Identifier: LGPL-2.1-or-later
4b8ae3907Smacallan /*
5b8ae3907Smacallan * Copyright (C) 2008 David Gibson, IBM Corporation.
6b8ae3907Smacallan */
7b8ae3907Smacallan
8b8ae3907Smacallan #include <stdlib.h>
9b8ae3907Smacallan #include <stdio.h>
10b8ae3907Smacallan #include <string.h>
11b8ae3907Smacallan #include <stdint.h>
12b8ae3907Smacallan
13b8ae3907Smacallan #include <libfdt.h>
14b8ae3907Smacallan
15b8ae3907Smacallan #include "tests.h"
16b8ae3907Smacallan #include "testdata.h"
17b8ae3907Smacallan
main(int argc,char * argv[])18b8ae3907Smacallan int main(int argc, char *argv[])
19b8ae3907Smacallan {
20b8ae3907Smacallan void *fdt;
21b8ae3907Smacallan uint32_t cpuid;
22b8ae3907Smacallan
23b8ae3907Smacallan test_init(argc, argv);
24b8ae3907Smacallan
25b8ae3907Smacallan if (argc != 3)
26b8ae3907Smacallan CONFIG("Usage: %s <dtb file> <cpuid>", argv[0]);
27b8ae3907Smacallan
28b8ae3907Smacallan fdt = load_blob(argv[1]);
29b8ae3907Smacallan cpuid = strtoul(argv[2], NULL, 0);
30b8ae3907Smacallan
31b8ae3907Smacallan if (fdt_boot_cpuid_phys(fdt) != cpuid)
32b8ae3907Smacallan FAIL("Incorrect boot_cpuid_phys (0x%x instead of 0x%x)",
33b8ae3907Smacallan fdt_boot_cpuid_phys(fdt), cpuid);
34b8ae3907Smacallan
35b8ae3907Smacallan PASS();
36b8ae3907Smacallan }
37