Hi Kofi, Please find the source file link below (vspace.c) and the api name is 'invalidateLocalTLB()'. <goog_70420332>
https://github.com/seL4/seL4/blob/master/src/arch/arm/64/kernel/vspace.c#L469 <https://github.com/seL4/seL4/blob/master/src/arch/arm/64/kernel/vspace.c#L469> Regards, Munees On Tue, Nov 21, 2017 at 5:10 AM, <[email protected]> wrote: > Hey Munees, > > > Sorry, could you please link to the line in source that you're referring > to? Ideally, you could navigate to the source file (or files) you're > referring to in our github repository (https://github.com/seL4/seL4) and > link to the source lines you're talking about -- would really help a lot :) > > -- > Kofi Doku Atuah > Kernel engineer > DATA61 | CSIRO > > > _______________________________________________ > Devel mailing list > [email protected] > https://sel4.systems/lists/listinfo/devel > >
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
