| /* SPDX-License-Identifier: (GPL-2.0+ OR MIT) */ | |
| /* | |
| * Copyright (c) 2019 Amlogic, Inc. All rights reserved. | |
| */ | |
| #ifndef _FREERTOS_H_ | |
| #define _FREERTOS_H_ | |
| #include <linux/amlogic/rtosinfo.h> | |
| int freertos_finish(void); | |
| int freertos_is_finished(void); | |
| int freertos_is_irq_rsved(unsigned int irq); | |
| u32 freertos_get_irqregval(u32 val, u32 oldval, | |
| unsigned int irqbase, | |
| unsigned int n); | |
| struct xRtosInfo_t *freertos_get_info(void); | |
| #endif |