The following series provides a few minor fixlets and consolidation:
- Add a missing data_race() annotation
- Ensure that the clock readout is always inlined
- Reduce the copy & pasta in the NMI safe accessors
Thanks,
tglx
---
timekeeping.c | 24 ++++++++++++------------
1 file changed, 12 insertions(+), 12 deletions(-)