@@ -695,7 +695,7 @@ uint32_t* dst_container_user_sp;
695695 * \param[in] src_frame interrupt frame
696696 * \return target container sp
697697 */
698- uint32_t secureshield_interrupt_handle (INT_EXC_FRAME * src_frame )
698+ uint32_t secureshield_interrupt_handle (INT_EXC_FRAME_T * src_frame )
699699{
700700 uint32_t src_id , dst_id ;
701701 INT_HANDLER_T handler ;
@@ -737,7 +737,7 @@ uint32_t secureshield_interrupt_handle(INT_EXC_FRAME *src_frame)
737737 /* switch access control table */
738738 vmpu_switch (src_id , dst_id );
739739 /* save current state */
740- container_stack_push (src_id , (uint32_t * )src_frame - ARC_CALLEE_FRAME_SIZE ,
740+ container_stack_push (src_id , (uint32_t * )src_frame - ARC_CALLEE_FRAME_T_SIZE ,
741741 (uint32_t * )arc_aux_read (AUX_USER_SP ), src_frame -> status32 , dst_id );
742742 /* gather information from current state */
743743
@@ -760,7 +760,7 @@ uint32_t secureshield_interrupt_handle(INT_EXC_FRAME *src_frame)
760760
761761 return 0 ;
762762 } else {
763- container_stack_push (src_id , (uint32_t * )src_frame - ARC_CALLEE_FRAME_SIZE ,
763+ container_stack_push (src_id , (uint32_t * )src_frame - ARC_CALLEE_FRAME_T_SIZE ,
764764 (uint32_t * )arc_aux_read (AUX_USER_SP ), src_frame -> status32 , dst_id );
765765 arc_aux_write (AUX_ERRET , (uint32_t )handler );
766766 arc_aux_write (AUX_ERSTATUS , src_frame -> status32 );
@@ -776,15 +776,15 @@ uint32_t secureshield_interrupt_handle(INT_EXC_FRAME *src_frame)
776776 * \param[in] dst_frame exception frame
777777 * \return target container sp
778778 */
779- uint32_t secureshield_int_return (INT_EXC_FRAME * dst_frame )
779+ uint32_t secureshield_int_return (INT_EXC_FRAME_T * dst_frame )
780780{
781781 uint32_t src_id , dst_id ;
782782
783783
784784 /* discard the created cpu frame, recover the original sp of destination container */
785785 dst_id = g_container_stack_curr_id ;
786786
787- if (container_stack_pop (dst_id , (uint32_t * )dst_frame + ARC_EXC_FRAME_SIZE ,
787+ if (container_stack_pop (dst_id , (uint32_t * )dst_frame + ARC_EXC_FRAME_T_SIZE ,
788788 (uint32_t * )arc_aux_read (AUX_USER_SP ), dst_frame -> status32 ) != 0 ) {
789789 return 0 ;
790790 }
@@ -813,7 +813,7 @@ uint32_t secureshield_int_return(INT_EXC_FRAME *dst_frame)
813813 * \brief interrupt operation handler
814814 * \param[in] frame exception frame
815815 */
816- void secureshield_int_ops (INT_EXC_FRAME * frame )
816+ void secureshield_int_ops (INT_EXC_FRAME_T * frame )
817817{
818818 /* FIXME: remove switch case structure, use jump table */
819819 /* r0 is used as operation id */
@@ -907,7 +907,7 @@ void * secureshield_interrupt_handle(uint32_t *sp)
907907 if (src_id != dst_id ) {
908908 vmpu_switch (src_id , dst_id );
909909
910- container_stack_push (src_id , (uint32_t * )sp - ARC_CALLEE_FRAME_SIZE ,
910+ container_stack_push (src_id , (uint32_t * )sp - ARC_CALLEE_FRAME_T_SIZE ,
911911 (uint32_t * )arc_aux_read (AUX_KERNEL_SP ), arc_aux_read (AUX_STATUS32 ),
912912 dst_id );
913913
0 commit comments