Searched refs:slot_pos_after (Results 1 - 9 of 9) sorted by relevance
| /seL4-test-master/kernel/src/arch/x86/kernel/ |
| H A D | boot.c | 75 seL4_SlotPos slot_pos_after; local
81 slot_pos_after = ndks_boot.slot_pos_cur;
83 slot_pos_before, slot_pos_after
|
| /seL4-test-master/kernel/src/arch/riscv/kernel/ |
| H A D | boot.c | 38 seL4_SlotPos slot_pos_after; local
44 slot_pos_after = ndks_boot.slot_pos_cur;
46 slot_pos_before, slot_pos_after
|
| H A D | vspace.c | 295 seL4_SlotPos slot_pos_after = ndks_boot.slot_pos_cur; local
297 slot_pos_before, slot_pos_after
|
| /seL4-test-master/kernel/src/arch/arm/kernel/ |
| H A D | boot.c | 144 seL4_SlotPos slot_pos_after; local
150 slot_pos_after = ndks_boot.slot_pos_cur;
152 slot_pos_before, slot_pos_after
|
| /seL4-test-master/kernel/src/arch/x86/32/kernel/ |
| H A D | vspace.c | 438 seL4_SlotPos slot_pos_after; local
458 slot_pos_after = ndks_boot.slot_pos_cur;
460 slot_pos_before, slot_pos_after
|
| /seL4-test-master/kernel/src/kernel/ |
| H A D | boot.c | 355 seL4_SlotPos slot_pos_after; local
371 slot_pos_after = ndks_boot.slot_pos_cur;
374 (seL4_SlotRegion) { slot_pos_before, slot_pos_after }, true
|
| /seL4-test-master/kernel/src/arch/x86/64/kernel/ |
| H A D | vspace.c | 695 seL4_SlotPos slot_pos_after; local
741 slot_pos_after = ndks_boot.slot_pos_cur;
743 slot_pos_before, slot_pos_after
|
| /seL4-test-master/kernel/src/arch/arm/32/kernel/ |
| H A D | vspace.c | 537 seL4_SlotPos slot_pos_after; local
563 slot_pos_after = ndks_boot.slot_pos_cur;
565 slot_pos_before, slot_pos_after
|
| /seL4-test-master/kernel/src/arch/arm/64/kernel/ |
| H A D | vspace.c | 475 seL4_SlotPos slot_pos_after; local
514 slot_pos_after = ndks_boot.slot_pos_cur;
516 slot_pos_before, slot_pos_after
|
Completed in 74 milliseconds