#NEWLINE# def BuildNotifyMessage( m_ptr , src , dst_ptr ) : #NEWLINE# #INDENT# m_ptr [ 'm_type' ] = NOTIFY_MESSAGE #NEWLINE# m_ptr [ 'NOTIFY_TIMESTAMP' ] = get_monotonic ( ) #NEWLINE# if ( src == HARDWARE ) : #NEWLINE# #INDENT# m_ptr [ 'NOTIFY_TAG' ] = dst_ptr [ 's_int_pending' ] #NEWLINE# dst_ptr [ 's_int_pending' ] = 0 #NEWLINE# #UNINDENT# else : #NEWLINE# #INDENT# if ( m_ptr == SYSTEM ) : #NEWLINE# #INDENT# m_ptr [ 'NOTIFY_TAG' ] = dst_ptr [ 's_sig_pending' ] #NEWLINE# dst_ptr [ 's_sig_pending' ] = 0