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.
125kHz RFID Reader Driver Technical Manual
Section 1. Driver Overview


