| /seL4-test-master/kernel/src/arch/x86/object/ |
| H A D | objecttype.c | 180 finaliseCap_ret_t Arch_finaliseCap(cap_t cap, bool_t final) argument
186 if (final && cap_page_directory_cap_get_capPDIsMapped(cap)) {
196 if (final && cap_page_table_cap_get_capPTIsMapped(cap)) {
206 if (final) {
222 if (final) {
230 if (final) {
236 if (final && cap_io_page_table_cap_get_capIOPTIsMapped(cap)) {
244 if (final) {
249 if (final && cap_ept_pml4_cap_get_capPML4IsMapped(cap)) {
256 if (final
[all...] |
| /seL4-test-master/kernel/include/arch/x86/arch/object/ |
| H A D | objecttype.h | 18 finaliseCap_ret_t Arch_finaliseCap(cap_t cap, bool_t final);
31 finaliseCap_ret_t Mode_finaliseCap(cap_t cap, bool_t final);
|
| /seL4-test-master/kernel/src/arch/arm/64/object/ |
| H A D | objecttype.c | 138 finaliseCap_ret_t Arch_finaliseCap(cap_t cap, bool_t final) argument
144 if (final) {
157 if (final && cap_page_global_directory_cap_get_capPGDIsMapped(cap)) {
171 if (final && cap_page_upper_directory_cap_get_capPUDIsMapped(cap)) {
176 if (final && cap_page_upper_directory_cap_get_capPUDIsMapped(cap)) {
186 if (final && cap_page_directory_cap_get_capPDIsMapped(cap)) {
194 if (final && cap_page_table_cap_get_capPTIsMapped(cap)) {
211 if (final) {
221 if (final) {
226 if (final) {
[all...] |
| /seL4-test-master/kernel/include/arch/arm/arch/object/ |
| H A D | objecttype.h | 18 finaliseCap_ret_t Arch_finaliseCap(cap_t cap, bool_t final);
|
| /seL4-test-master/kernel/include/arch/riscv/arch/object/ |
| H A D | objecttype.h | 18 finaliseCap_ret_t Arch_finaliseCap(cap_t cap, bool_t final);
|
| /seL4-test-master/kernel/src/arch/arm/32/object/ |
| H A D | objecttype.c | 143 finaliseCap_ret_t Arch_finaliseCap(cap_t cap, bool_t final) argument
149 if (final) {
156 if (final && cap_page_directory_cap_get_capPDIsMapped(cap)) {
163 if (final && cap_page_table_cap_get_capPTIsMapped(cap)) {
222 if (final) {
230 if (final) {
236 if (final && cap_io_page_table_cap_get_capIOPTIsMapped(cap)) {
|
| /seL4-test-master/kernel/src/object/ |
| H A D | objecttype.c | 104 finaliseCap_ret_t finaliseCap(cap_t cap, bool_t final, bool_t exposed) argument
109 return Arch_finaliseCap(cap, final);
114 if (final) {
123 if (final) {
137 if (final) {
169 if (final) {
183 if (final) {
216 if (final) {
243 if (final) {
|
| H A D | cnode.c | 617 bool_t final; local
623 final = isFinalCapability(slot);
624 fc_ret = finaliseCap(slot->cap, final, false);
730 bool_t final; local
736 final = isFinalCapability(slot);
737 fc_ret = finaliseCap(slot->cap, final, true);
|
| /seL4-test-master/kernel/src/arch/x86/64/object/ |
| H A D | objecttype.c | 77 finaliseCap_ret_t Mode_finaliseCap(cap_t cap, bool_t final) argument
84 if (final && cap_pml4_cap_get_capPML4IsMapped(cap)) {
93 if (final && cap_pdpt_cap_get_capPDPTIsMapped(cap)) {
|
| /seL4-test-master/kernel/src/arch/riscv/object/ |
| H A D | objecttype.c | 71 finaliseCap_ret_t Arch_finaliseCap(cap_t cap, bool_t final) argument
86 if (final && cap_page_table_cap_get_capPTIsMapped(cap)) {
105 if (final) {
|
| /seL4-test-master/kernel/include/object/ |
| H A D | objecttype.h | 19 finaliseCap_ret_t finaliseCap(cap_t cap, bool_t final, bool_t exposed);
|
| /seL4-test-master/projects/musllibc/src/regex/ |
| H A D | tre.h | 158 tre_tnfa_transition_t *final; member in struct:tnfa
|
| H A D | regexec.c | 299 if (reach_next_i->state == tnfa->final)
414 if (reach_next_i->state == tnfa->final
440 if (trans_i->state == tnfa->final)
744 if (state == tnfa->final)
759 /* Our TNFAs never have transitions leaving from the final state,
|
| H A D | regcomp.c | 2779 /* Add a dummy node for the final state.
2863 tnfa->final = transitions + offs[tree->lastpos[0].position];
|
| /seL4-test-master/kernel/src/arch/x86/32/object/ |
| H A D | objecttype.c | 53 finaliseCap_ret_t Mode_finaliseCap(cap_t cap, bool_t final) argument
|
| /seL4-test-master/kernel/manual/parts/ |
| H A D | bootup.tex | 192 \texttt{seL4\_Uint8[]} & \texttt{padding} & manual padding so final struct is a multiple of the word size \\
|