1 /*

     2  * Copyright (C) 2008 David Gibson, IBM Corporation.

     3  *

     4  * This library is free software; you can redistribute it and/or

     5  * modify it under the terms of the GNU Lesser General Public License

     6  * as published by the Free Software Foundation; either version 2.1 of

     7  * the License, or (at your option) any later version.

     8  *

     9  * This library is distributed in the hope that it will be useful, but

    10  * WITHOUT ANY WARRANTY; without even the implied warranty of

    11  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU

    12  * Lesser General Public License for more details.

    13  *

    14  * You should have received a copy of the GNU Lesser General Public

    15  * License along with this library; if not, write to the Free Software

    16  * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA

    17  */

    18 

    19 #include <stdlib.h>

    20 #include <stdio.h>

    21 #include <string.h>

    22 #include <stdint.h>

    23 

    24 #include <fdt.h>

    25 #include <libfdt.h>

    26 

    27 #include "tests.h"

    28 #include "testdata.h"

    29 

    30 int main(int argc, char *argv[])

    31 {

    32 	void *fdt;

    33 	uint32_t cpuid;

    34 

    35 	test_init(argc, argv);

    36 

    37 	if (argc != 3)

    38 		CONFIG("Usage: %s <dtb file> <cpuid>", argv[0]);

    39 

    40 	fdt = load_blob(argv[1]);

    41 	cpuid = strtoul(argv[2], NULL, 0);

    42 

    43 	if (fdt_boot_cpuid_phys(fdt) != cpuid)

    44 		FAIL("Incorrect boot_cpuid_phys (0x%x instead of 0x%x)",

    45 		     fdt_boot_cpuid_phys(fdt), cpuid);

    46 

    47 	PASS();

    48 }