44 #ifdef __ALT_INT_NS_H__
45 #error Secure and Non-Secure interrupt API cannot be used together.
48 #include "alt_interrupt_common.h"
93 #ifndef ALT_INT_PROVISION_VECTOR_SUPPORT
94 #define ALT_INT_PROVISION_VECTOR_SUPPORT (1)
106 #ifndef ALT_INT_PROVISION_STACK_SUPPORT
107 #define ALT_INT_PROVISION_STACK_SUPPORT (1)
123 #ifndef ALT_INT_PROVISION_STACK_SIZE
124 #define ALT_INT_PROVISION_STACK_SIZE (4096)
135 #define ALT_INT_PROVISION_INT_COUNT (256)
147 #ifndef ALT_INT_PROVISION_CPU_COUNT
148 #define ALT_INT_PROVISION_CPU_COUNT (1)
465 uint32_t * priority);
799 bool* use_FIQ_for_secure_interrupts,
800 bool* allow_secure_ack_all_interrupts);
857 bool use_FIQ_for_secure_interrupts,
858 bool allow_secure_ack_all_interrupts);