125kHz RFID Reader Driver Technical Manual
Section 1. Driver Overview

c) Using The Driver With a RTOS or Kernel

The driver is implemented as a single thread so you just need to make sure it is always called from a single thread (it is not designed to be thread safe).  All RFID operations are carried out using a non stalling state machine approach.