question about read clock API in ARM