MFRC522 reader module IRQ pin configuration

What a library? I do not know which one use are using.

So this one? MFRC522 - RFID Chip MFRC522 driver | Mbed
This library seems to be based on pooling menthod and that will be the reason. However you can try to use InterruptIn Mbed API together with the library.

BR, Jan