blob: 5c0672554d01f6f5d67805f9f03582ed148c66ab [file] [log] [blame]
Dan Handley5f0cdb02014-05-14 17:44:19 +01001/*
Masahiro Yamadaba68ef52018-02-01 16:45:51 +09002 * Copyright (c) 2013-2018, ARM Limited and Contributors. All rights reserved.
Dan Handley5f0cdb02014-05-14 17:44:19 +01003 *
dp-arm82cb2c12017-05-03 09:38:09 +01004 * SPDX-License-Identifier: BSD-3-Clause
Dan Handley5f0cdb02014-05-14 17:44:19 +01005 */
6
7#ifndef __PLATFORM_H__
8#define __PLATFORM_H__
9
Soby Mathew67487842015-07-13 14:10:57 +010010#include <psci.h>
Dan Handley5f0cdb02014-05-14 17:44:19 +010011#include <stdint.h>
Soby Mathew67487842015-07-13 14:10:57 +010012#include <types.h>
Dan Handley5f0cdb02014-05-14 17:44:19 +010013
14
15/*******************************************************************************
16 * Forward declarations
17 ******************************************************************************/
dp-armd35dee22016-12-12 14:48:13 +000018struct auth_img_desc_s;
Dan Handley5f0cdb02014-05-14 17:44:19 +010019struct meminfo;
20struct image_info;
21struct entry_point_info;
Dan Handleydec5e0d2014-05-15 14:11:36 +010022struct bl31_params;
Yatharth Kochar7baff112015-10-09 18:06:13 +010023struct image_desc;
Yatharth Kochar72600222016-09-12 16:08:41 +010024struct bl_load_info;
25struct bl_params;
Antonio Nino Diaz2fccb222017-10-24 10:07:35 +010026struct mmap_region;
27struct secure_partition_boot_info;
Dan Handley5f0cdb02014-05-14 17:44:19 +010028
29/*******************************************************************************
Juan Castillo95cfd4a2015-04-14 12:49:03 +010030 * plat_get_rotpk_info() flags
31 ******************************************************************************/
32#define ROTPK_IS_HASH (1 << 0)
Soby Mathew04943d32016-05-24 15:05:15 +010033/* Flag used to skip verification of the certificate ROTPK while the platform
34 ROTPK is not deployed */
35#define ROTPK_NOT_DEPLOYED (1 << 1)
Juan Castillo95cfd4a2015-04-14 12:49:03 +010036
37/*******************************************************************************
Dan Handleydec5e0d2014-05-15 14:11:36 +010038 * Function declarations
Dan Handley5f0cdb02014-05-14 17:44:19 +010039 ******************************************************************************/
Dan Handleydec5e0d2014-05-15 14:11:36 +010040/*******************************************************************************
41 * Mandatory common functions
42 ******************************************************************************/
Antonio Nino Diazd4486392016-05-18 16:53:31 +010043unsigned long long plat_get_syscnt_freq(void) __deprecated;
44unsigned int plat_get_syscnt_freq2(void);
45
Juan Castillo16948ae2015-04-13 17:36:19 +010046int plat_get_image_source(unsigned int image_id,
Dan Handleydec5e0d2014-05-15 14:11:36 +010047 uintptr_t *dev_handle,
48 uintptr_t *image_spec);
Soby Mathewa0ad6012016-03-23 10:11:10 +000049uintptr_t plat_get_ns_image_entrypoint(void);
Soby Mathew67487842015-07-13 14:10:57 +010050unsigned int plat_my_core_pos(void);
51int plat_core_pos_by_mpidr(u_register_t mpidr);
Dan Handleydec5e0d2014-05-15 14:11:36 +010052
Douglas Raillard51faada2017-02-24 18:14:15 +000053#if STACK_PROTECTOR_ENABLED
54/*
55 * Return a new value to be used for the stack protection's canary.
56 *
57 * Ideally, this value is a random number that is impossible to predict by an
58 * attacker.
59 */
60u_register_t plat_get_stack_protector_canary(void);
61#endif /* STACK_PROTECTOR_ENABLED */
62
Dan Handleydec5e0d2014-05-15 14:11:36 +010063/*******************************************************************************
64 * Mandatory interrupt management functions
65 ******************************************************************************/
Dan Handley9865ac12014-05-27 16:17:21 +010066uint32_t plat_ic_get_pending_interrupt_id(void);
67uint32_t plat_ic_get_pending_interrupt_type(void);
68uint32_t plat_ic_acknowledge_interrupt(void);
69uint32_t plat_ic_get_interrupt_type(uint32_t id);
70void plat_ic_end_of_interrupt(uint32_t id);
Dan Handley5f0cdb02014-05-14 17:44:19 +010071uint32_t plat_interrupt_type_to_line(uint32_t type,
72 uint32_t security_state);
73
Dan Handleydec5e0d2014-05-15 14:11:36 +010074/*******************************************************************************
Jeenu Viswambharaneb68ea92017-09-22 08:32:09 +010075 * Optional interrupt management functions, depending on chosen EL3 components.
76 ******************************************************************************/
77unsigned int plat_ic_get_running_priority(void);
Jeenu Viswambharanca43b552017-09-22 08:32:09 +010078int plat_ic_is_spi(unsigned int id);
79int plat_ic_is_ppi(unsigned int id);
80int plat_ic_is_sgi(unsigned int id);
Jeenu Viswambharancbd3f372017-09-22 08:32:09 +010081unsigned int plat_ic_get_interrupt_active(unsigned int id);
Jeenu Viswambharan979225f2017-09-22 08:32:09 +010082void plat_ic_disable_interrupt(unsigned int id);
83void plat_ic_enable_interrupt(unsigned int id);
Jeenu Viswambharan74dce7f2017-09-22 08:32:09 +010084int plat_ic_has_interrupt_type(unsigned int type);
85void plat_ic_set_interrupt_type(unsigned int id, unsigned int type);
Jeenu Viswambharanf3a86602017-09-22 08:32:09 +010086void plat_ic_set_interrupt_priority(unsigned int id, unsigned int priority);
Jeenu Viswambharan8db978b2017-09-22 08:32:09 +010087void plat_ic_raise_el3_sgi(int sgi_num, u_register_t target);
Jeenu Viswambharanfc529fe2017-09-22 08:32:09 +010088void plat_ic_set_spi_routing(unsigned int id, unsigned int routing_mode,
89 u_register_t mpidr);
Jeenu Viswambharana2816a12017-09-22 08:32:09 +010090void plat_ic_set_interrupt_pending(unsigned int id);
91void plat_ic_clear_interrupt_pending(unsigned int id);
Jeenu Viswambharand55a4452017-09-22 08:32:09 +010092unsigned int plat_ic_set_priority_mask(unsigned int mask);
Jeenu Viswambharan4ee8d0b2017-10-24 15:13:59 +010093unsigned int plat_ic_get_interrupt_id(unsigned int raw);
Jeenu Viswambharaneb68ea92017-09-22 08:32:09 +010094
95/*******************************************************************************
Dan Handleydec5e0d2014-05-15 14:11:36 +010096 * Optional common functions (may be overridden)
97 ******************************************************************************/
Soby Mathew4c0d0392016-06-16 14:52:04 +010098uintptr_t plat_get_my_stack(void);
Yatharth Kochar1a0a3f02016-06-28 16:58:26 +010099void plat_report_exception(unsigned int exception_type);
Sandrine Bailleux44804252014-08-06 11:27:23 +0100100int plat_crash_console_init(void);
Soby Mathewc67b09b2014-07-14 16:57:23 +0100101int plat_crash_console_putc(int c);
Antonio Nino Diaz801cf932017-02-17 17:11:27 +0000102int plat_crash_console_flush(void);
Juan Castillo40fc6cd2015-09-25 15:41:14 +0100103void plat_error_handler(int err) __dead2;
Antonio Nino Diaz1c3ea102016-02-01 13:57:25 +0000104void plat_panic_handler(void) __dead2;
Soby Mathew7f56e9a2017-09-04 11:49:29 +0100105const char *plat_log_get_prefix(unsigned int log_level);
Roberto Vargas01f62b62017-09-26 12:53:01 +0100106void bl2_plat_preload_setup(void);
107int plat_try_next_boot_source(void);
Dan Handleydec5e0d2014-05-15 14:11:36 +0100108
109/*******************************************************************************
110 * Mandatory BL1 functions
111 ******************************************************************************/
Dan Handley5a06bb72014-08-04 11:41:20 +0100112void bl1_early_platform_setup(void);
Dan Handleydec5e0d2014-05-15 14:11:36 +0100113void bl1_plat_arch_setup(void);
114void bl1_platform_setup(void);
115struct meminfo *bl1_plat_sec_mem_layout(void);
Dan Handley5f0cdb02014-05-14 17:44:19 +0100116
Jeenu Viswambharanb7cb1332017-10-16 08:43:14 +0100117/*******************************************************************************
118 * Optional EL3 component functions in BL31
119 ******************************************************************************/
120
121/* SDEI platform functions */
122#if SDEI_SUPPORT
123int plat_sdei_validate_entry_point(uintptr_t ep, unsigned int client_mode);
124void plat_sdei_handle_masked_trigger(uint64_t mpidr, unsigned int intr);
125#endif
126
Yatharth Kochar48bfb882015-10-10 19:06:53 +0100127/*
128 * The following function is mandatory when the
129 * firmware update feature is used.
130 */
131int bl1_plat_mem_check(uintptr_t mem_base, unsigned int mem_size,
132 unsigned int flags);
133
Dan Handleydec5e0d2014-05-15 14:11:36 +0100134/*******************************************************************************
135 * Optional BL1 functions (may be overridden)
136 ******************************************************************************/
Sandrine Bailleux8f55dfb2014-06-24 14:02:34 +0100137void bl1_init_bl2_mem_layout(const struct meminfo *bl1_mem_layout,
138 struct meminfo *bl2_mem_layout);
Yatharth Kochar48bfb882015-10-10 19:06:53 +0100139
Yatharth Kochar7baff112015-10-09 18:06:13 +0100140/*
141 * The following functions are used for image loading process in BL1.
142 */
143void bl1_plat_set_ep_info(unsigned int image_id,
144 struct entry_point_info *ep_info);
Yatharth Kochar48bfb882015-10-10 19:06:53 +0100145/*
146 * The following functions are mandatory when firmware update
147 * feature is used and optional otherwise.
148 */
Yatharth Kochar7baff112015-10-09 18:06:13 +0100149unsigned int bl1_plat_get_next_image_id(void);
150struct image_desc *bl1_plat_get_image_desc(unsigned int image_id);
Dan Handleydec5e0d2014-05-15 14:11:36 +0100151
Yatharth Kochar48bfb882015-10-10 19:06:53 +0100152/*
153 * The following functions are used by firmware update
154 * feature and may optionally be overridden.
155 */
Dan Handley1f37b942015-12-15 14:28:24 +0000156__dead2 void bl1_plat_fwu_done(void *client_cookie, void *reserved);
Yatharth Kochar48bfb882015-10-10 19:06:53 +0100157
Masahiro Yamada11f001c2018-02-01 16:46:18 +0900158/*
Soby Mathew566034f2018-02-08 17:45:12 +0000159 * This BL1 function can be used by the platforms to update/use image
160 * information for a given `image_id`.
Masahiro Yamada11f001c2018-02-01 16:46:18 +0900161 */
Soby Mathew566034f2018-02-08 17:45:12 +0000162int bl1_plat_handle_pre_image_load(unsigned int image_id);
163int bl1_plat_handle_post_image_load(unsigned int image_id);
Yatharth Kochar48bfb882015-10-10 19:06:53 +0100164
Dan Handleydec5e0d2014-05-15 14:11:36 +0100165/*******************************************************************************
166 * Mandatory BL2 functions
167 ******************************************************************************/
Dan Handley5a06bb72014-08-04 11:41:20 +0100168void bl2_early_platform_setup(struct meminfo *mem_layout);
Dan Handleydec5e0d2014-05-15 14:11:36 +0100169void bl2_plat_arch_setup(void);
170void bl2_platform_setup(void);
171struct meminfo *bl2_plat_sec_mem_layout(void);
172
Yatharth Kochar72600222016-09-12 16:08:41 +0100173#if LOAD_IMAGE_V2
174/*
175 * This function can be used by the platforms to update/use image
176 * information for given `image_id`.
177 */
Masahiro Yamadaba68ef52018-02-01 16:45:51 +0900178int bl2_plat_handle_pre_image_load(unsigned int image_id);
Yatharth Kochar72600222016-09-12 16:08:41 +0100179int bl2_plat_handle_post_image_load(unsigned int image_id);
180
181#else /* LOAD_IMAGE_V2 */
182
Dan Handleydec5e0d2014-05-15 14:11:36 +0100183/*
184 * This function returns a pointer to the shared memory that the platform has
Juan Castillod1786372015-12-14 09:35:25 +0000185 * kept aside to pass trusted firmware related information that BL31
Dan Handleydec5e0d2014-05-15 14:11:36 +0100186 * could need
187 */
188struct bl31_params *bl2_plat_get_bl31_params(void);
189
190/*
191 * This function returns a pointer to the shared memory that the platform
192 * has kept to point to entry point information of BL31 to BL2
193 */
194struct entry_point_info *bl2_plat_get_bl31_ep_info(void);
195
196/*
197 * This function flushes to main memory all the params that are
Juan Castillod1786372015-12-14 09:35:25 +0000198 * passed to BL31
Dan Handleydec5e0d2014-05-15 14:11:36 +0100199 */
200void bl2_plat_flush_bl31_params(void);
201
Dan Handley5f0cdb02014-05-14 17:44:19 +0100202/*
Sandrine Bailleux93d81d62014-06-24 14:19:36 +0100203 * The next 2 functions allow the platform to change the entrypoint information
Juan Castillod1786372015-12-14 09:35:25 +0000204 * for the mandatory 3rd level BL images, BL31 and BL33. This is done after
205 * BL2 has loaded those images into memory but before BL31 is executed.
Dan Handley5f0cdb02014-05-14 17:44:19 +0100206 */
207void bl2_plat_set_bl31_ep_info(struct image_info *image,
208 struct entry_point_info *ep);
209
Dan Handley5f0cdb02014-05-14 17:44:19 +0100210void bl2_plat_set_bl33_ep_info(struct image_info *image,
211 struct entry_point_info *ep);
212
Juan Castillod1786372015-12-14 09:35:25 +0000213/* Gets the memory layout for BL33 */
Dan Handley5f0cdb02014-05-14 17:44:19 +0100214void bl2_plat_get_bl33_meminfo(struct meminfo *mem_info);
215
Dan Handleydec5e0d2014-05-15 14:11:36 +0100216/*******************************************************************************
Juan Castillof59821d2015-12-10 15:49:17 +0000217 * Conditionally mandatory BL2 functions: must be implemented if SCP_BL2 image
Sandrine Bailleux93d81d62014-06-24 14:19:36 +0100218 * is supported
219 ******************************************************************************/
Juan Castillof59821d2015-12-10 15:49:17 +0000220/* Gets the memory layout for SCP_BL2 */
221void bl2_plat_get_scp_bl2_meminfo(struct meminfo *mem_info);
Sandrine Bailleux93d81d62014-06-24 14:19:36 +0100222
223/*
Juan Castillof59821d2015-12-10 15:49:17 +0000224 * This function is called after loading SCP_BL2 image and it is used to perform
Sandrine Bailleux93d81d62014-06-24 14:19:36 +0100225 * any platform-specific actions required to handle the SCP firmware.
226 */
Juan Castillof59821d2015-12-10 15:49:17 +0000227int bl2_plat_handle_scp_bl2(struct image_info *scp_bl2_image_info);
Sandrine Bailleux93d81d62014-06-24 14:19:36 +0100228
229/*******************************************************************************
Juan Castillod1786372015-12-14 09:35:25 +0000230 * Conditionally mandatory BL2 functions: must be implemented if BL32 image
Sandrine Bailleux93d81d62014-06-24 14:19:36 +0100231 * is supported
232 ******************************************************************************/
233void bl2_plat_set_bl32_ep_info(struct image_info *image,
234 struct entry_point_info *ep);
235
Juan Castillod1786372015-12-14 09:35:25 +0000236/* Gets the memory layout for BL32 */
Sandrine Bailleux93d81d62014-06-24 14:19:36 +0100237void bl2_plat_get_bl32_meminfo(struct meminfo *mem_info);
238
Yatharth Kochar72600222016-09-12 16:08:41 +0100239#endif /* LOAD_IMAGE_V2 */
240
Sandrine Bailleux93d81d62014-06-24 14:19:36 +0100241/*******************************************************************************
Dan Handleydec5e0d2014-05-15 14:11:36 +0100242 * Optional BL2 functions (may be overridden)
243 ******************************************************************************/
244
Roberto Vargasb1d27b42017-10-30 14:43:43 +0000245
246/*******************************************************************************
247 * Mandatory BL2 at EL3 functions: Must be implemented if BL2_AT_EL3 image is
248 * supported
249 ******************************************************************************/
250void bl2_el3_early_platform_setup(u_register_t arg0, u_register_t arg1,
251 u_register_t arg2, u_register_t arg3);
252void bl2_el3_plat_arch_setup(void);
253
254
255/*******************************************************************************
256 * Optional BL2 at EL3 functions (may be overridden)
257 ******************************************************************************/
258void bl2_el3_plat_prepare_exit(void);
259
Dan Handleydec5e0d2014-05-15 14:11:36 +0100260/*******************************************************************************
Yatharth Kochar9003fa02015-10-14 15:27:24 +0100261 * Mandatory BL2U functions.
262 ******************************************************************************/
263void bl2u_early_platform_setup(struct meminfo *mem_layout,
264 void *plat_info);
265void bl2u_plat_arch_setup(void);
266void bl2u_platform_setup(void);
267
268/*******************************************************************************
269 * Conditionally mandatory BL2U functions for CSS platforms.
270 ******************************************************************************/
271/*
272 * This function is used to perform any platform-specific actions required to
273 * handle the BL2U_SCP firmware.
274 */
275int bl2u_plat_handle_scp_bl2u(void);
276
277/*******************************************************************************
Juan Castillod1786372015-12-14 09:35:25 +0000278 * Mandatory BL31 functions
Dan Handleydec5e0d2014-05-15 14:11:36 +0100279 ******************************************************************************/
Yatharth Kochar72600222016-09-12 16:08:41 +0100280#if LOAD_IMAGE_V2
281void bl31_early_platform_setup(void *from_bl2,
282 void *plat_params_from_bl2);
283#else
Dan Handleydec5e0d2014-05-15 14:11:36 +0100284void bl31_early_platform_setup(struct bl31_params *from_bl2,
285 void *plat_params_from_bl2);
Yatharth Kochar72600222016-09-12 16:08:41 +0100286#endif
Dan Handleydec5e0d2014-05-15 14:11:36 +0100287void bl31_plat_arch_setup(void);
288void bl31_platform_setup(void);
Soby Mathew78e61612015-12-09 11:28:43 +0000289void bl31_plat_runtime_setup(void);
Dan Handley9865ac12014-05-27 16:17:21 +0100290struct entry_point_info *bl31_plat_get_next_image_ep_info(uint32_t type);
Dan Handleydec5e0d2014-05-15 14:11:36 +0100291
292/*******************************************************************************
Juan Castillod1786372015-12-14 09:35:25 +0000293 * Mandatory PSCI functions (BL31)
Dan Handleydec5e0d2014-05-15 14:11:36 +0100294 ******************************************************************************/
Soby Mathew67487842015-07-13 14:10:57 +0100295int plat_setup_psci_ops(uintptr_t sec_entrypoint,
296 const struct plat_psci_ops **);
297const unsigned char *plat_get_power_domain_tree_desc(void);
298
299/*******************************************************************************
Juan Castillod1786372015-12-14 09:35:25 +0000300 * Optional PSCI functions (BL31).
Soby Mathew67487842015-07-13 14:10:57 +0100301 ******************************************************************************/
dp-arm04c1db12017-01-31 13:01:04 +0000302void plat_psci_stat_accounting_start(const psci_power_state_t *state_info);
303void plat_psci_stat_accounting_stop(const psci_power_state_t *state_info);
304u_register_t plat_psci_stat_get_residency(unsigned int lvl,
305 const psci_power_state_t *state_info,
306 int last_cpu_index);
Soby Mathew67487842015-07-13 14:10:57 +0100307plat_local_state_t plat_get_target_pwr_state(unsigned int lvl,
308 const plat_local_state_t *states,
309 unsigned int ncpu);
Dan Handleydec5e0d2014-05-15 14:11:36 +0100310
311/*******************************************************************************
Juan Castillod1786372015-12-14 09:35:25 +0000312 * Optional BL31 functions (may be overridden)
Dan Handleydff8e472014-05-16 14:08:45 +0100313 ******************************************************************************/
Achin Guptaafff8cb2014-06-26 08:59:07 +0100314void bl31_plat_enable_mmu(uint32_t flags);
Dan Handleydff8e472014-05-16 14:08:45 +0100315
316/*******************************************************************************
Juan Castillod1786372015-12-14 09:35:25 +0000317 * Optional BL32 functions (may be overridden)
Dan Handleydff8e472014-05-16 14:08:45 +0100318 ******************************************************************************/
Achin Guptaafff8cb2014-06-26 08:59:07 +0100319void bl32_plat_enable_mmu(uint32_t flags);
Dan Handleydff8e472014-05-16 14:08:45 +0100320
Juan Castillo6eadf762015-01-07 10:39:25 +0000321/*******************************************************************************
Juan Castillo95cfd4a2015-04-14 12:49:03 +0100322 * Trusted Board Boot functions
Juan Castillo6eadf762015-01-07 10:39:25 +0000323 ******************************************************************************/
Juan Castillo95cfd4a2015-04-14 12:49:03 +0100324int plat_get_rotpk_info(void *cookie, void **key_ptr, unsigned int *key_len,
325 unsigned int *flags);
Juan Castillo48279d52016-01-22 11:05:57 +0000326int plat_get_nv_ctr(void *cookie, unsigned int *nv_ctr);
327int plat_set_nv_ctr(void *cookie, unsigned int nv_ctr);
dp-armd35dee22016-12-12 14:48:13 +0000328int plat_set_nv_ctr2(void *cookie, const struct auth_img_desc_s *img_desc,
329 unsigned int nv_ctr);
Juan Castillo6eadf762015-01-07 10:39:25 +0000330
Antonio Nino Diaz2fccb222017-10-24 10:07:35 +0100331/*******************************************************************************
332 * Secure Partitions functions
333 ******************************************************************************/
334const struct mmap_region *plat_get_secure_partition_mmap(void *cookie);
335const struct secure_partition_boot_info *plat_get_secure_partition_boot_info(
336 void *cookie);
337
Yatharth Kochar72600222016-09-12 16:08:41 +0100338#if LOAD_IMAGE_V2
339/*******************************************************************************
340 * Mandatory BL image load functions(may be overridden).
341 ******************************************************************************/
342/*
343 * This function returns pointer to the list of images that the
344 * platform has populated to load.
345 */
346struct bl_load_info *plat_get_bl_image_load_info(void);
347
348/*
349 * This function returns a pointer to the shared memory that the
350 * platform has kept aside to pass trusted firmware related
351 * information that next BL image could need.
352 */
353struct bl_params *plat_get_next_bl_params(void);
354
355/*
356 * This function flushes to main memory all the params that are
357 * passed to next image.
358 */
359void plat_flush_next_bl_params(void);
360
361#endif /* LOAD_IMAGE_V2 */
362
Soby Mathew67487842015-07-13 14:10:57 +0100363#if ENABLE_PLAT_COMPAT
364/*
365 * The below declarations are to enable compatibility for the platform ports
366 * using the old platform interface.
367 */
368
369/*******************************************************************************
370 * Optional common functions (may be overridden)
371 ******************************************************************************/
372unsigned int platform_get_core_pos(unsigned long mpidr);
373
374/*******************************************************************************
Juan Castillod1786372015-12-14 09:35:25 +0000375 * Mandatory PSCI Compatibility functions (BL31)
Soby Mathew67487842015-07-13 14:10:57 +0100376 ******************************************************************************/
377int platform_setup_pm(const plat_pm_ops_t **);
378
379unsigned int plat_get_aff_count(unsigned int, unsigned long);
380unsigned int plat_get_aff_state(unsigned int, unsigned long);
Douglas Raillard51faada2017-02-24 18:14:15 +0000381#else /* __ENABLE_PLAT_COMPAT__ */
Soby Mathew5c8babc2015-07-13 16:26:11 +0100382/*
383 * The below function enable Trusted Firmware components like SPDs which
384 * haven't migrated to the new platform API to compile on platforms which
385 * have the compatibility layer disabled.
386 */
Soren Brinkmann70ecb562016-01-14 10:02:33 -0800387unsigned int platform_get_core_pos(unsigned long mpidr) __deprecated;
Soby Mathew67487842015-07-13 14:10:57 +0100388
Soby Mathew5c8babc2015-07-13 16:26:11 +0100389#endif /* __ENABLE_PLAT_COMPAT__ */
Douglas Raillard51faada2017-02-24 18:14:15 +0000390
Dan Handley5f0cdb02014-05-14 17:44:19 +0100391#endif /* __PLATFORM_H__ */
Douglas Raillard51faada2017-02-24 18:14:15 +0000392