/*
* Copyright (c) 2016 ARM Limited, All Rights Reserved
*/
#ifndef ARM_HAL_INTERRUPT_PRIVATE_H_
#define ARM_HAL_INTERRUPT_PRIVATE_H_
void platform_critical_init(void);
#endif