Home
last modified time | relevance | path

Searched refs:ksLogIndexFinalized (Results 1 – 6 of 6) sorted by relevance

/seL4-master/src/arch/x86/benchmark/
A Dbenchmark.c17 seL4_Word ksLogIndexFinalized = 0; variable
/seL4-master/src/arch/arm/benchmark/
A Dbenchmark.c15 seL4_Word ksLogIndexFinalized = 0; variable
/seL4-master/src/benchmark/
A Dbenchmark_track.c15 seL4_Word ksLogIndexFinalized; variable
/seL4-master/include/benchmark/
A Dbenchmark_track.h32 extern seL4_Word ksLogIndexFinalized;
A Dbenchmark.h26 extern seL4_Word ksLogIndexFinalized;
/seL4-master/src/api/
A Dsyscall.c227 ksLogIndexFinalized = ksLogIndex; in handleUnknownSyscall()
228 setRegister(NODE_STATE(ksCurThread), capRegister, ksLogIndexFinalized); in handleUnknownSyscall()

Completed in 8 milliseconds