Some more words on inlining and order of 64bit reads for timer