{"comment":{"url":"https://api.github.com/repos/ssumpf/genode/comments/16056410","html_url":"https://github.com/ssumpf/genode/commit/2dfcf7a4213769d892a5f79233b5c65dc521e121#commitcomment-16056410","id":16056410,"user":{"login":"skalk","id":1275433,"avatar_url":"https://avatars.githubusercontent.com/u/1275433?v=3","gravatar_id":"","url":"https://api.github.com/users/skalk","html_url":"https://github.com/skalk","followers_url":"https://api.github.com/users/skalk/followers","following_url":"https://api.github.com/users/skalk/following{/other_user}","gists_url":"https://api.github.com/users/skalk/gists{/gist_id}","starred_url":"https://api.github.com/users/skalk/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/skalk/subscriptions","organizations_url":"https://api.github.com/users/skalk/orgs","repos_url":"https://api.github.com/users/skalk/repos","events_url":"https://api.github.com/users/skalk/events{/privacy}","received_events_url":"https://api.github.com/users/skalk/received_events","type":"User","site_admin":false},"position":173,"line":173,"path":"repos/base-hw/src/core/include/spec/riscv/cpu.h","commit_id":"2dfcf7a4213769d892a5f79233b5c65dc521e121","created_at":"2016-02-12T10:24:21Z","updated_at":"2016-02-12T10:24:21Z","body":"@ssumpf : again, this is now platform specific. Moreover, in the ARM case, where it is used, it is called invalidate_tlb_by_pid now. The Kernel::Pd destructor is platform specific, and if you do not flush the TLB in that function, you can leave it away."}}