Andreas Kling a5ffa2eec7 Add a PageDirectory::flush() that does nothing if another PD is active. ...

This way callers can just flush() every time after making any modification
and the PageDirectory itself will decide if TLB invalidation is necessary.

2018-12-31 20:52:59 +01:00

26 KiB

Raw Blame History

View Raw