Dan Handley | ed6ff95 | 2014-05-14 17:44:19 +0100 | [diff] [blame] | 1 | /* |
Antonio Nino Diaz | 1f21bcf | 2016-02-01 13:57:25 +0000 | [diff] [blame] | 2 | * Copyright (c) 2013-2016, ARM Limited and Contributors. All rights reserved. |
Dan Handley | ed6ff95 | 2014-05-14 17:44:19 +0100 | [diff] [blame] | 3 | * |
| 4 | * Redistribution and use in source and binary forms, with or without |
| 5 | * modification, are permitted provided that the following conditions are met: |
| 6 | * |
| 7 | * Redistributions of source code must retain the above copyright notice, this |
| 8 | * list of conditions and the following disclaimer. |
| 9 | * |
| 10 | * Redistributions in binary form must reproduce the above copyright notice, |
| 11 | * this list of conditions and the following disclaimer in the documentation |
| 12 | * and/or other materials provided with the distribution. |
| 13 | * |
| 14 | * Neither the name of ARM nor the names of its contributors may be used |
| 15 | * to endorse or promote products derived from this software without specific |
| 16 | * prior written permission. |
| 17 | * |
| 18 | * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" |
| 19 | * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE |
| 20 | * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE |
| 21 | * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE |
| 22 | * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR |
| 23 | * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF |
| 24 | * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS |
| 25 | * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN |
| 26 | * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) |
| 27 | * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE |
| 28 | * POSSIBILITY OF SUCH DAMAGE. |
| 29 | */ |
| 30 | |
| 31 | #ifndef __PLATFORM_H__ |
| 32 | #define __PLATFORM_H__ |
| 33 | |
Soby Mathew | 981487a | 2015-07-13 14:10:57 +0100 | [diff] [blame] | 34 | #include <psci.h> |
Dan Handley | ed6ff95 | 2014-05-14 17:44:19 +0100 | [diff] [blame] | 35 | #include <stdint.h> |
Soby Mathew | 981487a | 2015-07-13 14:10:57 +0100 | [diff] [blame] | 36 | #include <types.h> |
Dan Handley | ed6ff95 | 2014-05-14 17:44:19 +0100 | [diff] [blame] | 37 | |
| 38 | |
| 39 | /******************************************************************************* |
| 40 | * Forward declarations |
| 41 | ******************************************************************************/ |
Dan Handley | ed6ff95 | 2014-05-14 17:44:19 +0100 | [diff] [blame] | 42 | struct meminfo; |
| 43 | struct image_info; |
| 44 | struct entry_point_info; |
Dan Handley | 7ce42df | 2014-05-15 14:11:36 +0100 | [diff] [blame] | 45 | struct bl31_params; |
Yatharth Kochar | a65be2f | 2015-10-09 18:06:13 +0100 | [diff] [blame] | 46 | struct image_desc; |
Dan Handley | ed6ff95 | 2014-05-14 17:44:19 +0100 | [diff] [blame] | 47 | |
| 48 | /******************************************************************************* |
Juan Castillo | 31a68f0 | 2015-04-14 12:49:03 +0100 | [diff] [blame] | 49 | * plat_get_rotpk_info() flags |
| 50 | ******************************************************************************/ |
| 51 | #define ROTPK_IS_HASH (1 << 0) |
| 52 | |
| 53 | /******************************************************************************* |
Dan Handley | 7ce42df | 2014-05-15 14:11:36 +0100 | [diff] [blame] | 54 | * Function declarations |
Dan Handley | ed6ff95 | 2014-05-14 17:44:19 +0100 | [diff] [blame] | 55 | ******************************************************************************/ |
Dan Handley | 7ce42df | 2014-05-15 14:11:36 +0100 | [diff] [blame] | 56 | /******************************************************************************* |
| 57 | * Mandatory common functions |
| 58 | ******************************************************************************/ |
| 59 | uint64_t plat_get_syscnt_freq(void); |
Juan Castillo | 3a66aca | 2015-04-13 17:36:19 +0100 | [diff] [blame] | 60 | int plat_get_image_source(unsigned int image_id, |
Dan Handley | 7ce42df | 2014-05-15 14:11:36 +0100 | [diff] [blame] | 61 | uintptr_t *dev_handle, |
| 62 | uintptr_t *image_spec); |
Soby Mathew | 21f9361 | 2016-03-23 10:11:10 +0000 | [diff] [blame] | 63 | uintptr_t plat_get_ns_image_entrypoint(void); |
Soby Mathew | 981487a | 2015-07-13 14:10:57 +0100 | [diff] [blame] | 64 | unsigned int plat_my_core_pos(void); |
| 65 | int plat_core_pos_by_mpidr(u_register_t mpidr); |
Dan Handley | 7ce42df | 2014-05-15 14:11:36 +0100 | [diff] [blame] | 66 | |
| 67 | /******************************************************************************* |
| 68 | * Mandatory interrupt management functions |
| 69 | ******************************************************************************/ |
Dan Handley | 701fea7 | 2014-05-27 16:17:21 +0100 | [diff] [blame] | 70 | uint32_t plat_ic_get_pending_interrupt_id(void); |
| 71 | uint32_t plat_ic_get_pending_interrupt_type(void); |
| 72 | uint32_t plat_ic_acknowledge_interrupt(void); |
| 73 | uint32_t plat_ic_get_interrupt_type(uint32_t id); |
| 74 | void plat_ic_end_of_interrupt(uint32_t id); |
Dan Handley | ed6ff95 | 2014-05-14 17:44:19 +0100 | [diff] [blame] | 75 | uint32_t plat_interrupt_type_to_line(uint32_t type, |
| 76 | uint32_t security_state); |
| 77 | |
Dan Handley | 7ce42df | 2014-05-15 14:11:36 +0100 | [diff] [blame] | 78 | /******************************************************************************* |
| 79 | * Optional common functions (may be overridden) |
| 80 | ******************************************************************************/ |
Soby Mathew | 981487a | 2015-07-13 14:10:57 +0100 | [diff] [blame] | 81 | unsigned long plat_get_my_stack(void); |
Dan Handley | 7ce42df | 2014-05-15 14:11:36 +0100 | [diff] [blame] | 82 | void plat_report_exception(unsigned long); |
Sandrine Bailleux | 046cd3f | 2014-08-06 11:27:23 +0100 | [diff] [blame] | 83 | int plat_crash_console_init(void); |
Soby Mathew | 066f713 | 2014-07-14 16:57:23 +0100 | [diff] [blame] | 84 | int plat_crash_console_putc(int c); |
Juan Castillo | 26ae583 | 2015-09-25 15:41:14 +0100 | [diff] [blame] | 85 | void plat_error_handler(int err) __dead2; |
Antonio Nino Diaz | 1f21bcf | 2016-02-01 13:57:25 +0000 | [diff] [blame] | 86 | void plat_panic_handler(void) __dead2; |
Dan Handley | 7ce42df | 2014-05-15 14:11:36 +0100 | [diff] [blame] | 87 | |
| 88 | /******************************************************************************* |
| 89 | * Mandatory BL1 functions |
| 90 | ******************************************************************************/ |
Dan Handley | 4fd2f5c | 2014-08-04 11:41:20 +0100 | [diff] [blame] | 91 | void bl1_early_platform_setup(void); |
Dan Handley | 7ce42df | 2014-05-15 14:11:36 +0100 | [diff] [blame] | 92 | void bl1_plat_arch_setup(void); |
| 93 | void bl1_platform_setup(void); |
| 94 | struct meminfo *bl1_plat_sec_mem_layout(void); |
Dan Handley | ed6ff95 | 2014-05-14 17:44:19 +0100 | [diff] [blame] | 95 | |
Yatharth Kochar | 71c9a5e | 2015-10-10 19:06:53 +0100 | [diff] [blame] | 96 | /* |
| 97 | * The following function is mandatory when the |
| 98 | * firmware update feature is used. |
| 99 | */ |
| 100 | int bl1_plat_mem_check(uintptr_t mem_base, unsigned int mem_size, |
| 101 | unsigned int flags); |
| 102 | |
Dan Handley | 7ce42df | 2014-05-15 14:11:36 +0100 | [diff] [blame] | 103 | /******************************************************************************* |
| 104 | * Optional BL1 functions (may be overridden) |
| 105 | ******************************************************************************/ |
Sandrine Bailleux | 467d057 | 2014-06-24 14:02:34 +0100 | [diff] [blame] | 106 | void bl1_init_bl2_mem_layout(const struct meminfo *bl1_mem_layout, |
| 107 | struct meminfo *bl2_mem_layout); |
Yatharth Kochar | 71c9a5e | 2015-10-10 19:06:53 +0100 | [diff] [blame] | 108 | |
Yatharth Kochar | a65be2f | 2015-10-09 18:06:13 +0100 | [diff] [blame] | 109 | /* |
| 110 | * The following functions are used for image loading process in BL1. |
| 111 | */ |
| 112 | void bl1_plat_set_ep_info(unsigned int image_id, |
| 113 | struct entry_point_info *ep_info); |
Yatharth Kochar | 71c9a5e | 2015-10-10 19:06:53 +0100 | [diff] [blame] | 114 | /* |
| 115 | * The following functions are mandatory when firmware update |
| 116 | * feature is used and optional otherwise. |
| 117 | */ |
Yatharth Kochar | a65be2f | 2015-10-09 18:06:13 +0100 | [diff] [blame] | 118 | unsigned int bl1_plat_get_next_image_id(void); |
| 119 | struct image_desc *bl1_plat_get_image_desc(unsigned int image_id); |
Dan Handley | 7ce42df | 2014-05-15 14:11:36 +0100 | [diff] [blame] | 120 | |
Yatharth Kochar | 71c9a5e | 2015-10-10 19:06:53 +0100 | [diff] [blame] | 121 | /* |
| 122 | * The following functions are used by firmware update |
| 123 | * feature and may optionally be overridden. |
| 124 | */ |
Dan Handley | 89f8f33 | 2015-12-15 14:28:24 +0000 | [diff] [blame] | 125 | __dead2 void bl1_plat_fwu_done(void *client_cookie, void *reserved); |
Yatharth Kochar | 71c9a5e | 2015-10-10 19:06:53 +0100 | [diff] [blame] | 126 | |
| 127 | |
Dan Handley | 7ce42df | 2014-05-15 14:11:36 +0100 | [diff] [blame] | 128 | /******************************************************************************* |
| 129 | * Mandatory BL2 functions |
| 130 | ******************************************************************************/ |
Dan Handley | 4fd2f5c | 2014-08-04 11:41:20 +0100 | [diff] [blame] | 131 | void bl2_early_platform_setup(struct meminfo *mem_layout); |
Dan Handley | 7ce42df | 2014-05-15 14:11:36 +0100 | [diff] [blame] | 132 | void bl2_plat_arch_setup(void); |
| 133 | void bl2_platform_setup(void); |
| 134 | struct meminfo *bl2_plat_sec_mem_layout(void); |
| 135 | |
| 136 | /* |
| 137 | * This function returns a pointer to the shared memory that the platform has |
Juan Castillo | 7d19941 | 2015-12-14 09:35:25 +0000 | [diff] [blame] | 138 | * kept aside to pass trusted firmware related information that BL31 |
Dan Handley | 7ce42df | 2014-05-15 14:11:36 +0100 | [diff] [blame] | 139 | * could need |
| 140 | */ |
| 141 | struct bl31_params *bl2_plat_get_bl31_params(void); |
| 142 | |
| 143 | /* |
| 144 | * This function returns a pointer to the shared memory that the platform |
| 145 | * has kept to point to entry point information of BL31 to BL2 |
| 146 | */ |
| 147 | struct entry_point_info *bl2_plat_get_bl31_ep_info(void); |
| 148 | |
| 149 | /* |
| 150 | * This function flushes to main memory all the params that are |
Juan Castillo | 7d19941 | 2015-12-14 09:35:25 +0000 | [diff] [blame] | 151 | * passed to BL31 |
Dan Handley | 7ce42df | 2014-05-15 14:11:36 +0100 | [diff] [blame] | 152 | */ |
| 153 | void bl2_plat_flush_bl31_params(void); |
| 154 | |
Dan Handley | ed6ff95 | 2014-05-14 17:44:19 +0100 | [diff] [blame] | 155 | /* |
Sandrine Bailleux | f841ef0 | 2014-06-24 14:19:36 +0100 | [diff] [blame] | 156 | * The next 2 functions allow the platform to change the entrypoint information |
Juan Castillo | 7d19941 | 2015-12-14 09:35:25 +0000 | [diff] [blame] | 157 | * for the mandatory 3rd level BL images, BL31 and BL33. This is done after |
| 158 | * BL2 has loaded those images into memory but before BL31 is executed. |
Dan Handley | ed6ff95 | 2014-05-14 17:44:19 +0100 | [diff] [blame] | 159 | */ |
| 160 | void bl2_plat_set_bl31_ep_info(struct image_info *image, |
| 161 | struct entry_point_info *ep); |
| 162 | |
Sandrine Bailleux | f841ef0 | 2014-06-24 14:19:36 +0100 | [diff] [blame] | 163 | void bl2_plat_set_bl33_ep_info(struct image_info *image, |
Dan Handley | ed6ff95 | 2014-05-14 17:44:19 +0100 | [diff] [blame] | 164 | struct entry_point_info *ep); |
| 165 | |
Juan Castillo | 7d19941 | 2015-12-14 09:35:25 +0000 | [diff] [blame] | 166 | /* Gets the memory layout for BL33 */ |
Sandrine Bailleux | f841ef0 | 2014-06-24 14:19:36 +0100 | [diff] [blame] | 167 | void bl2_plat_get_bl33_meminfo(struct meminfo *mem_info); |
| 168 | |
| 169 | /******************************************************************************* |
Juan Castillo | a72b647 | 2015-12-10 15:49:17 +0000 | [diff] [blame] | 170 | * Conditionally mandatory BL2 functions: must be implemented if SCP_BL2 image |
Sandrine Bailleux | f841ef0 | 2014-06-24 14:19:36 +0100 | [diff] [blame] | 171 | * is supported |
| 172 | ******************************************************************************/ |
Juan Castillo | a72b647 | 2015-12-10 15:49:17 +0000 | [diff] [blame] | 173 | /* Gets the memory layout for SCP_BL2 */ |
| 174 | void bl2_plat_get_scp_bl2_meminfo(struct meminfo *mem_info); |
Sandrine Bailleux | f841ef0 | 2014-06-24 14:19:36 +0100 | [diff] [blame] | 175 | |
| 176 | /* |
Juan Castillo | a72b647 | 2015-12-10 15:49:17 +0000 | [diff] [blame] | 177 | * This function is called after loading SCP_BL2 image and it is used to perform |
Sandrine Bailleux | f841ef0 | 2014-06-24 14:19:36 +0100 | [diff] [blame] | 178 | * any platform-specific actions required to handle the SCP firmware. |
| 179 | */ |
Juan Castillo | a72b647 | 2015-12-10 15:49:17 +0000 | [diff] [blame] | 180 | int bl2_plat_handle_scp_bl2(struct image_info *scp_bl2_image_info); |
Sandrine Bailleux | f841ef0 | 2014-06-24 14:19:36 +0100 | [diff] [blame] | 181 | |
| 182 | /******************************************************************************* |
Juan Castillo | 7d19941 | 2015-12-14 09:35:25 +0000 | [diff] [blame] | 183 | * Conditionally mandatory BL2 functions: must be implemented if BL32 image |
Sandrine Bailleux | f841ef0 | 2014-06-24 14:19:36 +0100 | [diff] [blame] | 184 | * is supported |
| 185 | ******************************************************************************/ |
| 186 | void bl2_plat_set_bl32_ep_info(struct image_info *image, |
Dan Handley | ed6ff95 | 2014-05-14 17:44:19 +0100 | [diff] [blame] | 187 | struct entry_point_info *ep); |
| 188 | |
Juan Castillo | 7d19941 | 2015-12-14 09:35:25 +0000 | [diff] [blame] | 189 | /* Gets the memory layout for BL32 */ |
Dan Handley | ed6ff95 | 2014-05-14 17:44:19 +0100 | [diff] [blame] | 190 | void bl2_plat_get_bl32_meminfo(struct meminfo *mem_info); |
| 191 | |
Dan Handley | 7ce42df | 2014-05-15 14:11:36 +0100 | [diff] [blame] | 192 | /******************************************************************************* |
| 193 | * Optional BL2 functions (may be overridden) |
| 194 | ******************************************************************************/ |
| 195 | |
| 196 | /******************************************************************************* |
Yatharth Kochar | b1c2fe0 | 2015-10-14 15:27:24 +0100 | [diff] [blame] | 197 | * Mandatory BL2U functions. |
| 198 | ******************************************************************************/ |
| 199 | void bl2u_early_platform_setup(struct meminfo *mem_layout, |
| 200 | void *plat_info); |
| 201 | void bl2u_plat_arch_setup(void); |
| 202 | void bl2u_platform_setup(void); |
| 203 | |
| 204 | /******************************************************************************* |
| 205 | * Conditionally mandatory BL2U functions for CSS platforms. |
| 206 | ******************************************************************************/ |
| 207 | /* |
| 208 | * This function is used to perform any platform-specific actions required to |
| 209 | * handle the BL2U_SCP firmware. |
| 210 | */ |
| 211 | int bl2u_plat_handle_scp_bl2u(void); |
| 212 | |
| 213 | /******************************************************************************* |
Juan Castillo | 7d19941 | 2015-12-14 09:35:25 +0000 | [diff] [blame] | 214 | * Mandatory BL31 functions |
Dan Handley | 7ce42df | 2014-05-15 14:11:36 +0100 | [diff] [blame] | 215 | ******************************************************************************/ |
| 216 | void bl31_early_platform_setup(struct bl31_params *from_bl2, |
| 217 | void *plat_params_from_bl2); |
| 218 | void bl31_plat_arch_setup(void); |
| 219 | void bl31_platform_setup(void); |
Soby Mathew | 1ff495b | 2015-12-09 11:28:43 +0000 | [diff] [blame] | 220 | void bl31_plat_runtime_setup(void); |
Dan Handley | 701fea7 | 2014-05-27 16:17:21 +0100 | [diff] [blame] | 221 | struct entry_point_info *bl31_plat_get_next_image_ep_info(uint32_t type); |
Dan Handley | 7ce42df | 2014-05-15 14:11:36 +0100 | [diff] [blame] | 222 | |
| 223 | /******************************************************************************* |
Juan Castillo | 7d19941 | 2015-12-14 09:35:25 +0000 | [diff] [blame] | 224 | * Mandatory PSCI functions (BL31) |
Dan Handley | 7ce42df | 2014-05-15 14:11:36 +0100 | [diff] [blame] | 225 | ******************************************************************************/ |
Soby Mathew | 981487a | 2015-07-13 14:10:57 +0100 | [diff] [blame] | 226 | int plat_setup_psci_ops(uintptr_t sec_entrypoint, |
| 227 | const struct plat_psci_ops **); |
| 228 | const unsigned char *plat_get_power_domain_tree_desc(void); |
| 229 | |
| 230 | /******************************************************************************* |
Juan Castillo | 7d19941 | 2015-12-14 09:35:25 +0000 | [diff] [blame] | 231 | * Optional PSCI functions (BL31). |
Soby Mathew | 981487a | 2015-07-13 14:10:57 +0100 | [diff] [blame] | 232 | ******************************************************************************/ |
| 233 | plat_local_state_t plat_get_target_pwr_state(unsigned int lvl, |
| 234 | const plat_local_state_t *states, |
| 235 | unsigned int ncpu); |
Dan Handley | 7ce42df | 2014-05-15 14:11:36 +0100 | [diff] [blame] | 236 | |
| 237 | /******************************************************************************* |
Juan Castillo | 7d19941 | 2015-12-14 09:35:25 +0000 | [diff] [blame] | 238 | * Optional BL31 functions (may be overridden) |
Dan Handley | b226a4d | 2014-05-16 14:08:45 +0100 | [diff] [blame] | 239 | ******************************************************************************/ |
Achin Gupta | e998254 | 2014-06-26 08:59:07 +0100 | [diff] [blame] | 240 | void bl31_plat_enable_mmu(uint32_t flags); |
Dan Handley | b226a4d | 2014-05-16 14:08:45 +0100 | [diff] [blame] | 241 | |
| 242 | /******************************************************************************* |
Juan Castillo | 7d19941 | 2015-12-14 09:35:25 +0000 | [diff] [blame] | 243 | * Optional BL32 functions (may be overridden) |
Dan Handley | b226a4d | 2014-05-16 14:08:45 +0100 | [diff] [blame] | 244 | ******************************************************************************/ |
Achin Gupta | e998254 | 2014-06-26 08:59:07 +0100 | [diff] [blame] | 245 | void bl32_plat_enable_mmu(uint32_t flags); |
Dan Handley | b226a4d | 2014-05-16 14:08:45 +0100 | [diff] [blame] | 246 | |
Juan Castillo | 5e29c75 | 2015-01-07 10:39:25 +0000 | [diff] [blame] | 247 | /******************************************************************************* |
Juan Castillo | 31a68f0 | 2015-04-14 12:49:03 +0100 | [diff] [blame] | 248 | * Trusted Board Boot functions |
Juan Castillo | 5e29c75 | 2015-01-07 10:39:25 +0000 | [diff] [blame] | 249 | ******************************************************************************/ |
Juan Castillo | 31a68f0 | 2015-04-14 12:49:03 +0100 | [diff] [blame] | 250 | int plat_get_rotpk_info(void *cookie, void **key_ptr, unsigned int *key_len, |
| 251 | unsigned int *flags); |
Juan Castillo | 5e29c75 | 2015-01-07 10:39:25 +0000 | [diff] [blame] | 252 | |
Soby Mathew | 981487a | 2015-07-13 14:10:57 +0100 | [diff] [blame] | 253 | #if ENABLE_PLAT_COMPAT |
| 254 | /* |
| 255 | * The below declarations are to enable compatibility for the platform ports |
| 256 | * using the old platform interface. |
| 257 | */ |
| 258 | |
| 259 | /******************************************************************************* |
| 260 | * Optional common functions (may be overridden) |
| 261 | ******************************************************************************/ |
| 262 | unsigned int platform_get_core_pos(unsigned long mpidr); |
| 263 | |
| 264 | /******************************************************************************* |
Juan Castillo | 7d19941 | 2015-12-14 09:35:25 +0000 | [diff] [blame] | 265 | * Mandatory PSCI Compatibility functions (BL31) |
Soby Mathew | 981487a | 2015-07-13 14:10:57 +0100 | [diff] [blame] | 266 | ******************************************************************************/ |
| 267 | int platform_setup_pm(const plat_pm_ops_t **); |
| 268 | |
| 269 | unsigned int plat_get_aff_count(unsigned int, unsigned long); |
| 270 | unsigned int plat_get_aff_state(unsigned int, unsigned long); |
Soby Mathew | 70716d6 | 2015-07-13 16:26:11 +0100 | [diff] [blame] | 271 | #else |
| 272 | /* |
| 273 | * The below function enable Trusted Firmware components like SPDs which |
| 274 | * haven't migrated to the new platform API to compile on platforms which |
| 275 | * have the compatibility layer disabled. |
| 276 | */ |
Soren Brinkmann | a581bd5 | 2016-01-14 10:02:33 -0800 | [diff] [blame] | 277 | unsigned int platform_get_core_pos(unsigned long mpidr) __deprecated; |
Soby Mathew | 981487a | 2015-07-13 14:10:57 +0100 | [diff] [blame] | 278 | |
Soby Mathew | 70716d6 | 2015-07-13 16:26:11 +0100 | [diff] [blame] | 279 | #endif /* __ENABLE_PLAT_COMPAT__ */ |
Dan Handley | ed6ff95 | 2014-05-14 17:44:19 +0100 | [diff] [blame] | 280 | #endif /* __PLATFORM_H__ */ |