Re: [seL4] Stuck during invalidate local TLB in Tx2

Hi Kofi, Please find the source file link below (vspace.c) and the api name is 'invalidateLocalTLB()'. https://github.com/seL4/seL4/blob/master/src/arch/arm/64/kernel/vspace.c#L46... https://github.com/seL4/seL4/blob/master/src/arch/arm/64/kernel/vspace.c#L46... Regards, Munees On Tue, Nov 21, 2017 at 5:10 AM, 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 Devel@sel4.systems https://sel4.systems/lists/listinfo/devel