diff options
author | Damien Zammit <damien@zamaudio.com> | 2023-02-13 08:49:45 +0000 |
---|---|---|
committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2023-02-13 23:57:20 +0100 |
commit | f9ebee5589f8056ef52c6ecfdf7d6e10f4d34d1c (patch) | |
tree | 3d1072573df41d54fdba11e0e5729625ad77feb6 /linux/dev | |
parent | 485d75f1ddf1d620029f6c62ce35efc6ed460d9c (diff) | |
download | gnumach-f9ebee5589f8056ef52c6ecfdf7d6e10f4d34d1c.tar.gz gnumach-f9ebee5589f8056ef52c6ecfdf7d6e10f4d34d1c.tar.bz2 gnumach-f9ebee5589f8056ef52c6ecfdf7d6e10f4d34d1c.zip |
pmap: Signal cpu for TLB update if kernel_pmap
Message-Id: <20230213084919.1157074-3-damien@zamaudio.com>
Diffstat (limited to 'linux/dev')
0 files changed, 0 insertions, 0 deletions