atomic_load_acq_32
tmr = atomic_load_acq_32(&tmrptr[idx]);
val = atomic_load_acq_32(&vlapic->lvt_last[idx]);
reg = atomic_load_acq_32(&vlapic->lvt_last[lvt]);