Niklaus Giger | e9084b2 | 2008-11-03 22:14:36 +0100 | [diff] [blame] | 1 | /* |
| 2 | * (C) Copyright 2008 |
| 3 | * Niklaus Giger, niklaus.giger@member.fsf.org |
| 4 | * |
Wolfgang Denk | 1a45966 | 2013-07-08 09:37:19 +0200 | [diff] [blame] | 5 | * SPDX-License-Identifier: GPL-2.0+ |
Niklaus Giger | e9084b2 | 2008-11-03 22:14:36 +0100 | [diff] [blame] | 6 | */ |
| 7 | |
| 8 | #ifndef _VXWORKS_H_ |
| 9 | #define _VXWORKS_H_ |
| 10 | |
Bin Meng | b90ff0f | 2015-10-07 20:19:18 -0700 | [diff] [blame] | 11 | /* |
Bin Meng | 2902be8 | 2018-04-11 22:02:07 -0700 | [diff] [blame] | 12 | * Physical address of memory base for VxWorks x86 |
| 13 | * This is LOCAL_MEM_LOCAL_ADRS in the VxWorks kernel configuration. |
| 14 | */ |
| 15 | #define VXWORKS_PHYS_MEM_BASE 0x100000 |
| 16 | |
| 17 | /* |
Bin Meng | b90ff0f | 2015-10-07 20:19:18 -0700 | [diff] [blame] | 18 | * VxWorks x86 E820 related stuff |
| 19 | * |
Bin Meng | 2902be8 | 2018-04-11 22:02:07 -0700 | [diff] [blame] | 20 | * VxWorks on x86 gets E820 information from pre-defined offset @ |
Bin Meng | b90ff0f | 2015-10-07 20:19:18 -0700 | [diff] [blame] | 21 | * 0x4a00 and 0x4000. At 0x4a00 it's an information table defined |
| 22 | * by VxWorks and the actual E820 table entries starts from 0x4000. |
| 23 | * As defined by the BIOS E820 spec, the maximum number of E820 table |
| 24 | * entries is 128 and each entry occupies 20 bytes, so it's 128 * 20 |
| 25 | * = 2560 (0xa00) bytes in total. That's where VxWorks stores some |
| 26 | * information that is retrieved from the BIOS E820 call and saved |
| 27 | * later for sanity test during the kernel boot-up. |
| 28 | */ |
Bin Meng | 2902be8 | 2018-04-11 22:02:07 -0700 | [diff] [blame] | 29 | #define E820_DATA_OFFSET 0x4000 |
| 30 | #define E820_INFO_OFFSET 0x4a00 |
Bin Meng | b90ff0f | 2015-10-07 20:19:18 -0700 | [diff] [blame] | 31 | |
| 32 | /* E820 info signatiure "SMAP" - System MAP */ |
| 33 | #define E820_SIGNATURE 0x534d4150 |
| 34 | |
| 35 | struct e820info { |
| 36 | u32 sign; /* "SMAP" signature */ |
| 37 | u32 x0; /* don't care, used by VxWorks */ |
| 38 | u32 x1; /* don't care, used by VxWorks */ |
| 39 | u32 x2; /* don't care, used by VxWorks */ |
| 40 | u32 addr; /* last e820 table entry addr */ |
| 41 | u32 x3; /* don't care, used by VxWorks */ |
| 42 | u32 entries; /* e820 table entry count */ |
| 43 | u32 error; /* must be zero */ |
| 44 | }; |
| 45 | |
Bin Meng | 1351700 | 2018-04-11 22:02:08 -0700 | [diff] [blame^] | 46 | /* |
| 47 | * VxWorks bootloader stores its size at a pre-defined offset @ 0x5004. |
| 48 | * Later when VxWorks kernel boots up and system memory information is |
| 49 | * retrieved from the E820 table, the bootloader size will be subtracted |
| 50 | * from the total system memory size to calculate the size of available |
| 51 | * memory for the OS. |
| 52 | */ |
| 53 | #define BOOT_IMAGE_SIZE_OFFSET 0x5004 |
| 54 | |
Wolfgang Denk | 54841ab | 2010-06-28 22:00:46 +0200 | [diff] [blame] | 55 | int do_bootvx(cmd_tbl_t *cmdtp, int flag, int argc, char * const argv[]); |
Miao Yan | 871a57b | 2013-11-28 17:51:38 +0800 | [diff] [blame] | 56 | void boot_prep_vxworks(bootm_headers_t *images); |
| 57 | void boot_jump_vxworks(bootm_headers_t *images); |
| 58 | void do_bootvx_fdt(bootm_headers_t *images); |
Niklaus Giger | e9084b2 | 2008-11-03 22:14:36 +0100 | [diff] [blame] | 59 | |
Niklaus Giger | e9084b2 | 2008-11-03 22:14:36 +0100 | [diff] [blame] | 60 | #endif |