[thirdparty/u-boot.git] / include / vxworks.h

/* SPDX-License-Identifier: GPL-2.0+ */
/*
 * (C) Copyright 2008
 * Niklaus Giger, niklaus.giger@member.fsf.org
 */

#ifndef _VXWORKS_H_
#define _VXWORKS_H_

#include <efi_api.h>

/*
 * Physical address of memory base for VxWorks x86
 * This is LOCAL_MEM_LOCAL_ADRS in the VxWorks kernel configuration.
 */
#define VXWORKS_PHYS_MEM_BASE	0x100000

/* x86 bootline offset relative to LOCAL_MEM_LOCAL_ADRS in VxWorks */
#define X86_BOOT_LINE_OFFSET	0x1200

/*
 * VxWorks x86 E820 related stuff
 *
 * VxWorks on x86 gets E820 information from pre-defined offset @
 * 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 E820_DATA_OFFSET	0x4000
#define E820_INFO_OFFSET	0x4a00

/* E820 info signatiure "SMAP" - System MAP */
#define E820_SIGNATURE	0x534d4150

struct e820_info {
	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 */
};

/*
 * VxWorks bootloader stores its size at a pre-defined offset @ 0x5004.
 * Later when VxWorks kernel boots up and system memory information is
 * retrieved from the E820 table, the bootloader size will be subtracted
 * from the total system memory size to calculate the size of available
 * memory for the OS.
 */
#define BOOT_IMAGE_SIZE_OFFSET	0x5004

/*
 * When booting from EFI BIOS, VxWorks bootloader stores the EFI GOP
 * framebuffer info at a pre-defined offset @ 0x6100. When VxWorks kernel
 * boots up, its EFI console driver tries to find such a block and if
 * the signature matches, the framebuffer information will be used to
 * initialize the driver.
 *
 * However it is not necessary to prepare an EFI environment for VxWorks's
 * EFI console driver to function (eg: EFI loader in U-Boot). If U-Boot has
 * already initialized the graphics card and set it to a VESA mode that is
 * compatible with EFI GOP, we can simply prepare such a block for VxWorks.
 */
#define EFI_GOP_INFO_OFFSET	0x6100

/* EFI GOP info signatiure */
#define EFI_GOP_INFO_MAGIC	0xfeedface

struct efi_gop_info {
	u32 magic;			/* signature */
	struct efi_gop_mode_info info;	/* EFI GOP mode info structure */
	phys_addr_t fb_base;		/* framebuffer base address */
	u32 fb_size;			/* framebuffer size */
};

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);

#endif
Commit	Line	Data
83d290c5	1	/* SPDX-License-Identifier: GPL-2.0+ */
e9084b23 NG	2	/*
	3	* (C) Copyright 2008
	4	* Niklaus Giger, niklaus.giger@member.fsf.org
e9084b23 NG	5	*/
	6
	7	#ifndef _VXWORKS_H_
	8	#define _VXWORKS_H_
	9
447ae4f7 BM	10	#include <efi_api.h>
447ae4f7 BM	11
2902be86 BM	12	/*
	13	* Physical address of memory base for VxWorks x86
	14	* This is LOCAL_MEM_LOCAL_ADRS in the VxWorks kernel configuration.
	15	*/
	16	#define VXWORKS_PHYS_MEM_BASE 0x100000
	17
79c584e5 BM	18	/* x86 bootline offset relative to LOCAL_MEM_LOCAL_ADRS in VxWorks */
	19	#define X86_BOOT_LINE_OFFSET 0x1200
	20
b90ff0fd BM	21	/*
	22	* VxWorks x86 E820 related stuff
	23	*
2902be86	24	* VxWorks on x86 gets E820 information from pre-defined offset @
b90ff0fd BM	25	* 0x4a00 and 0x4000. At 0x4a00 it's an information table defined
	26	* by VxWorks and the actual E820 table entries starts from 0x4000.
	27	* As defined by the BIOS E820 spec, the maximum number of E820 table
	28	* entries is 128 and each entry occupies 20 bytes, so it's 128 * 20
	29	* = 2560 (0xa00) bytes in total. That's where VxWorks stores some
	30	* information that is retrieved from the BIOS E820 call and saved
	31	* later for sanity test during the kernel boot-up.
	32	*/
2902be86 BM	33	#define E820_DATA_OFFSET 0x4000
2902be86 BM	34	#define E820_INFO_OFFSET 0x4a00
b90ff0fd BM	35
	36	/* E820 info signatiure "SMAP" - System MAP */
	37	#define E820_SIGNATURE 0x534d4150
	38
fa5e91f7	39	struct e820_info {
b90ff0fd BM	40	u32 sign; /* "SMAP" signature */
	41	u32 x0; /* don't care, used by VxWorks */
	42	u32 x1; /* don't care, used by VxWorks */
	43	u32 x2; /* don't care, used by VxWorks */
	44	u32 addr; /* last e820 table entry addr */
	45	u32 x3; /* don't care, used by VxWorks */
	46	u32 entries; /* e820 table entry count */
	47	u32 error; /* must be zero */
	48	};
	49
1351700c BM	50	/*
	51	* VxWorks bootloader stores its size at a pre-defined offset @ 0x5004.
	52	* Later when VxWorks kernel boots up and system memory information is
	53	* retrieved from the E820 table, the bootloader size will be subtracted
	54	* from the total system memory size to calculate the size of available
	55	* memory for the OS.
	56	*/
	57	#define BOOT_IMAGE_SIZE_OFFSET 0x5004
	58
447ae4f7 BM	59	/*
	60	* When booting from EFI BIOS, VxWorks bootloader stores the EFI GOP
	61	* framebuffer info at a pre-defined offset @ 0x6100. When VxWorks kernel
	62	* boots up, its EFI console driver tries to find such a block and if
	63	* the signature matches, the framebuffer information will be used to
	64	* initialize the driver.
	65	*
	66	* However it is not necessary to prepare an EFI environment for VxWorks's
	67	* EFI console driver to function (eg: EFI loader in U-Boot). If U-Boot has
	68	* already initialized the graphics card and set it to a VESA mode that is
	69	* compatible with EFI GOP, we can simply prepare such a block for VxWorks.
	70	*/
	71	#define EFI_GOP_INFO_OFFSET 0x6100
	72
	73	/* EFI GOP info signatiure */
	74	#define EFI_GOP_INFO_MAGIC 0xfeedface
	75
	76	struct efi_gop_info {
	77	u32 magic; /* signature */
	78	struct efi_gop_mode_info info; /* EFI GOP mode info structure */
	79	phys_addr_t fb_base; /* framebuffer base address */
	80	u32 fb_size; /* framebuffer size */
	81	};
	82
54841ab5	83	int do_bootvx(cmd_tbl_t cmdtp, int flag, int argc, char const argv[]);
871a57bb MY	84	void boot_prep_vxworks(bootm_headers_t *images);
871a57bb MY	85	void boot_jump_vxworks(bootm_headers_t *images);
e9084b23	86
e9084b23	87	#endif