Re: MMU related code

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.