diff options
| author | Andreas Kling <awesomekling@gmail.com> | 2019-06-01 17:25:36 +0200 |
|---|---|---|
| committer | Andreas Kling <awesomekling@gmail.com> | 2019-06-01 17:25:36 +0200 |
| commit | 02e21de20afb46792d0bf03b11b49f198dee1d05 (patch) | |
| tree | c0f424f10707af5c9fd3abe94349024ed0bc4117 /Kernel/FileSystem/FileSystem.h | |
| parent | 6956d161c4c36a6655ddfd41fcc5abe39eae7a27 (diff) | |
| download | serenity-02e21de20afb46792d0bf03b11b49f198dee1d05.zip | |
VM: Always flush TLB for kernel page directory changes.
Since the kernel page directory is inherited by all other page directories,
we should always flush the TLB when it's updated.
Diffstat (limited to 'Kernel/FileSystem/FileSystem.h')
0 files changed, 0 insertions, 0 deletions