bcm2.asl 3.9 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167
  1. /*++
  2. Copyright (c) 2015 Minoca Corp.
  3. This file is licensed under the terms of the GNU General Public License
  4. version 3. Alternative licensing terms are available. Contact
  5. info@minocacorp.com for details. See the LICENSE file at the root of this
  6. project for complete licensing information.
  7. Module Name:
  8. bcm2.asl
  9. Abstract:
  10. This module implements the platform specific BCM2709 table.
  11. Author:
  12. Chris Stevens 17-Mar-2015
  13. Environment:
  14. Firmware
  15. --*/
  16. //
  17. // ---------------------------------------------------------------- Definitions
  18. //
  19. [0004] Signature : "BCM2"
  20. [0004] Table Length : 000000DC
  21. [0001] Revision : 01
  22. [0001] Checksum : 00
  23. [0006] Oem ID : "Minoca"
  24. [0008] Oem Table ID : "Minoca "
  25. [0004] Oem Revision : 00000001
  26. [0004] Asl Compiler ID : "INTL"
  27. [0004] Asl Compiler Revision : 20110623
  28. //
  29. // APB clock frequency.
  30. //
  31. UINT64 : 000000000EE6B280
  32. //
  33. // Interrupt controller physical address.
  34. //
  35. UINT64 : 000000003F00B200
  36. //
  37. // Interrupt controller GSI base.
  38. //
  39. UINT64 : 0000000000000000
  40. //
  41. // ARM Timer physical address.
  42. //
  43. UINT64 : 000000003F00B400
  44. //
  45. // ARM Timer GSI.
  46. //
  47. UINT32 : 00000040
  48. //
  49. // Debug UART physical address.
  50. //
  51. UINT64 : 000000003F201000
  52. //
  53. // Debug UART clock frequency.
  54. //
  55. UINT32 : 002DC6C0
  56. //
  57. // System Timer physical address.
  58. //
  59. UINT64 : 000000003F003000
  60. //
  61. // System Timer frequency.
  62. //
  63. UINT64 : 00000000000F4240
  64. //
  65. // System Timer GSI Base.
  66. //
  67. UINT32 : 00000000
  68. //
  69. // PWM clock frequency.
  70. //
  71. UINT32 : 1DCD6500
  72. //
  73. // Mailbox physical address.
  74. //
  75. UINT64 : 000000003F00B880
  76. //
  77. // Local CPU physical address.
  78. //
  79. UINT64 : 0000000040000000
  80. //
  81. // Processor 0 information. See BCM2709_CPU_ENTRY.
  82. //
  83. UINT8 : 00
  84. UINT8 : 18
  85. UINT16 : 0000
  86. UINT32 : 00000F00
  87. UINT32 : 00000001
  88. UINT32 : 00000000
  89. UINT64 : 0000000001FFA000
  90. //
  91. // Processor 1 information. See BCM2709_CPU_ENTRY.
  92. //
  93. UINT8 : 00
  94. UINT8 : 18
  95. UINT16 : 0000
  96. UINT32 : 00000F01
  97. UINT32 : 00000001
  98. UINT32 : 00000000
  99. UINT64 : 0000000001FFB000
  100. //
  101. // Processor 2 information. See BCM2709_CPU_ENTRY.
  102. //
  103. UINT8 : 00
  104. UINT8 : 18
  105. UINT16 : 0000
  106. UINT32 : 00000F02
  107. UINT32 : 00000001
  108. UINT32 : 00000000
  109. UINT64 : 0000000001FFC000
  110. //
  111. // Processor 3 information. See BCM2709_CPU_ENTRY.
  112. //
  113. UINT8 : 00
  114. UINT8 : 18
  115. UINT16 : 0000
  116. UINT32 : 00000F03
  117. UINT32 : 00000001
  118. UINT32 : 00000000
  119. UINT64 : 0000000001FFD000