#include "pxt.h"
#include <pthread.h>
namespace pxt {
static pthread_mutex_t irqMutex;
void target_disable_irq() {
pthread_mutex_lock(&irqMutex);
}
void target_enable_irq() {
pthread_mutex_unlock(&irqMutex);
} // namespace pxt