1: use fake read_tsc()
2: add CF-clobber annotations

Jan


Reply via email to