Searched defs:initial (Results 1 - 8 of 8) sorted by relevance

/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/
H A Dtls.c135 int initial = tls_value; local
/seL4-test-master/kernel/manual/parts/
H A Dbootup.tex[all...]
/seL4-test-master/kernel/src/arch/x86/kernel/
H A Dboot.c316 tcb_t *initial = create_initial_thread(root_cnode_cap, local
/seL4-test-master/kernel/src/arch/riscv/kernel/
H A Dboot.c370 tcb_t *initial = create_initial_thread( local
/seL4-test-master/kernel/src/arch/arm/kernel/
H A Dboot.c513 tcb_t *initial = create_initial_thread( local
/seL4-test-master/projects/musllibc/src/crypt/
H A Dcrypt_blowfish.c498 static void BF_set_key(const char *key, BF_key expanded, BF_key initial, argument
/seL4-test-master/projects/musllibc/src/regex/
H A Dtre.h157 tre_tnfa_transition_t *initial; member in struct:tnfa
H A Dregcomp.c2684 tre_tnfa_transition_t *transitions, *initial; local
[all...]

Completed in 409 milliseconds