testsuites/validation/tx-support.h

1 files changed, 13 insertions, 0 deletions

diff --git a/testsuites/validation/tx-support.h b/testsuites/validation/tx-support.h
index 62adb930d0..010fae2180 100644
--- a/testsuites/validation/tx-support.h
+++ b/testsuites/validation/tx-support.h
@@ -547,7 +547,15 @@ void StartDelayThreadDispatch( uint32_t cpu_index );
 
 void StopDelayThreadDispatch( uint32_t cpu_index );
 
+bool AreInterruptsEnabled( void );
+
+bool IsWhiteSpaceOnly( const char *s );
+
+bool IsEqualIgnoreWhiteSpace( const char *a, const char *b );
+
 #if defined(RTEMS_SMP)
+bool TicketLockIsAvailable( const SMP_ticket_lock_Control *lock );
+
 void TicketLockWaitForOwned( const SMP_ticket_lock_Control *lock );
 
 void TicketLockWaitForOthers(
@@ -555,6 +563,11 @@ void TicketLockWaitForOthers(
   unsigned int                   others
 );
 
+static inline bool ISRLockIsAvailable( const ISR_lock_Control *lock )
+{
+  return TicketLockIsAvailable( &lock->Lock.Ticket_lock );
+}
+
 static inline void ISRLockWaitForOwned( const ISR_lock_Control *lock )
 {
   TicketLockWaitForOwned( &lock->Lock.Ticket_lock );