I have encountered a problem which is GPIO_Number_12 is still unknown even after i initialized. I'm using GPIO_Number_12 as an input to read pulses from my hall sensor. From there, I want to count the total number of high and low to know the number of cycles the motor has run.