45 #ifdef __ALT_INT_NS_H__
46 #error Secure and Non-Secure interrupt API cannot be used together.
50 #include "alt_int_device.h"
79 ALT_INT_TRIGGER_LEVEL,
181 #define ALT_INT_PROVISION_INT_COUNT (256)
406 uint32_t * priority);
451 alt_int_cpu_target_t * target);
470 alt_int_cpu_target_t target);
575 alt_int_cpu_target_t target_list,
815 void alt_int_fixup_irq_stack(uint32_t stack);
819 void alt_int_fixup_fiq_stack(uint32_t stack);
823 void alt_int_fixup_abt_stack(uint32_t stack);
827 void alt_int_fixup_und_stack(uint32_t stack);
831 void alt_int_set_vector(uint32_t vector);
835 #ifdef EXECUTION_LEVEL3
851 ALT_STATUS_CODE alt_int_global_enable_ns(
void);
863 ALT_STATUS_CODE alt_int_global_disable_ns(
void);
876 ALT_STATUS_CODE alt_int_global_enable_all(
void);
889 ALT_STATUS_CODE alt_int_global_disable_all(
void);
901 ALT_STATUS_CODE alt_int_dist_secure_enable(ALT_INT_INTERRUPT_t int_id);
913 ALT_STATUS_CODE alt_int_dist_secure_disable(ALT_INT_INTERRUPT_t int_id);
926 ALT_STATUS_CODE alt_int_dist_is_secure(ALT_INT_INTERRUPT_t int_id);
936 ALT_STATUS_CODE alt_int_cpu_enable_ns(
void);
946 ALT_STATUS_CODE alt_int_cpu_disable_ns(
void);
956 ALT_STATUS_CODE alt_int_cpu_enable_all(
void);
965 ALT_STATUS_CODE alt_int_cpu_disable_all(
void);
1017 ALT_STATUS_CODE alt_int_cpu_config_get(
bool* use_secure_binary_point,
1018 bool* use_FIQ_for_secure_interrupts,
1019 bool* allow_secure_ack_all_interrupts);
1078 ALT_STATUS_CODE alt_int_cpu_config_set(
bool use_secure_binary_point,
1079 bool use_FIQ_for_secure_interrupts,
1080 bool allow_secure_ack_all_interrupts);
1089 uint32_t alt_int_cpu_binary_point_get_ns(
void);
1104 ALT_STATUS_CODE alt_int_cpu_binary_point_set_ns(uint32_t binary_point);
1110 void alt_int_set_stack_el0(uint64_t stack_ptr);
1116 void alt_int_set_stack_el1(uint64_t stack_ptr);
1122 void alt_int_set_stack_el2(uint64_t stack_ptr);
1129 void alt_int_set_vector_el1(uint64_t vector);
1136 extern void alt_int_set_vector_el2(uint64_t vector);
1142 extern void alt_int_set_vector_el3(uint64_t vector);