| 123456789101112131415161718192021222324252627282930313233343536373839404142434445 |
- /*
- * (C) Copyright 2008
- * Niklaus Giger, niklaus.giger@member.fsf.org
- *
- * SPDX-License-Identifier: GPL-2.0+
- */
- #ifndef _VXWORKS_H_
- #define _VXWORKS_H_
- /*
- * VxWorks x86 E820 related stuff
- *
- * VxWorks on x86 gets E820 information from pre-defined address @
- * 0x4a00 and 0x4000. At 0x4a00 it's an information table defined
- * by VxWorks and the actual E820 table entries starts from 0x4000.
- * As defined by the BIOS E820 spec, the maximum number of E820 table
- * entries is 128 and each entry occupies 20 bytes, so it's 128 * 20
- * = 2560 (0xa00) bytes in total. That's where VxWorks stores some
- * information that is retrieved from the BIOS E820 call and saved
- * later for sanity test during the kernel boot-up.
- */
- #define VXWORKS_E820_DATA_ADDR 0x4000
- #define VXWORKS_E820_INFO_ADDR 0x4a00
- /* E820 info signatiure "SMAP" - System MAP */
- #define E820_SIGNATURE 0x534d4150
- struct e820info {
- u32 sign; /* "SMAP" signature */
- u32 x0; /* don't care, used by VxWorks */
- u32 x1; /* don't care, used by VxWorks */
- u32 x2; /* don't care, used by VxWorks */
- u32 addr; /* last e820 table entry addr */
- u32 x3; /* don't care, used by VxWorks */
- u32 entries; /* e820 table entry count */
- u32 error; /* must be zero */
- };
- int do_bootvx(cmd_tbl_t *cmdtp, int flag, int argc, char * const argv[]);
- void boot_prep_vxworks(bootm_headers_t *images);
- void boot_jump_vxworks(bootm_headers_t *images);
- void do_bootvx_fdt(bootm_headers_t *images);
- #endif
|
