30 Nov
2022
30 Nov
'22
10:14 a.m.
I guess it wouldn't hurt to take this for now, but note that we'd like to get rid of those direct calls. Rémi is working on improving syscall dispatcher performance, see !1437 and !1324.