#ifndef MOCKS_H_
#define MOCKS_H_

#include <stdint.h>

// Mock for Semaphore_Handle
typedef void* Semaphore_Handle;

// Mock for Swi_Handle
typedef void* Swi_Handle;

// Mock for Task_sleep
void Task_sleep(unsigned int ticks);

// Mock for MessageQ
typedef struct {
    int   reserved;
} MessageQ_MsgHeader;

// Mock for UInt32
typedef uint32_t UInt32;

// Mock for UInt16
typedef uint16_t UInt16;

// Mock for Timer_Handle
typedef void* Timer_Handle;

// Mock for UArg
typedef intptr_t UArg;

// Mock for Void
typedef void Void;


#endif /* MOCKS_H_ */