gustafn
committed
on 11 Aug 16
- use API calls instead of local implementation (which simplifies the code and yields chache flushes)