I was reading a section of kernel/timer.c file and came across this section which uses READ_ONCE and a comment which states that using READ_ONCE() prevents multiple reads by