Clarification of documentation for HPS TIMER polling operation

We are using the DE10 board in our microcontroller design class. I have assigned the students a lab to use the HPS TIMER in the polling configuration. According to the documentation (DE10-Standard_...