MMU related code

[Carter Cheng]

Is the /mm directory the correct place to look? It seems to contain memory
related code but from what little I have read it seems at a higher level
building in some cases at least on kmalloc. I am just curious about a point
raised by the SVA dissertation(by John Criswell). Another point he does
raise but I am uncertain about how true it is in general is that to do
static analysis/dynamic instrumentation properly on the kernel one needs
some method to assess what the inline assembly fragments do and to deal
with this particular problem he replaced all this code with custom bitcode
instructions.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.kernelnewbies.org/pipermail/kernelnewbies/attachments/20181029/2117484f/attachment.html>