sysc/kernel/sc_sensitive.cpp

55 as_thread_handle( sc_process_b* handle_ )
191 	port_.make_sensitive( as_thread_handle( m_handle ) );
211     sc_thread_handle handle_t = as_thread_handle( handle_ );
232 	event_finder_.port().make_sensitive( as_thread_handle( m_handle ),
256 	sc_thread_handle handle_t = as_thread_handle( handle_ );
488 	port_.make_sensitive( as_thread_handle( m_handle ), &port_.pos() );
515 	port_.make_sensitive( as_thread_handle( m_handle ), &port_.pos() );
542 	port_.make_sensitive( as_thread_handle( m_handle ), &port_.pos() );
569 	port_.make_sensitive( as_thread_handle( m_handle ), &port_.pos() );
763 	port_.make_sensitive( as_thread_handle( m_handle ), &port_.neg() );
790 	port_.make_sensitive( as_thread_handle( m_handle ), &port_.neg() );
817 	port_.make_sensitive( as_thread_handle( m_handle ), &port_.neg() );
844 	port_.make_sensitive( as_thread_handle( m_handle ), &port_.neg() );