vxworks.h 3.0 KB

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