Searched refs:slot_pos_before (Results 1 - 10 of 10) sorted by relevance
| /seL4-test-master/kernel/src/arch/x86/kernel/ |
| H A D | boot.c | 74 seL4_SlotPos slot_pos_before; local
77 slot_pos_before = ndks_boot.slot_pos_cur;
78 create_device_untypeds(root_cnode_cap, slot_pos_before);
79 create_kernel_untypeds(root_cnode_cap, boot_mem_reuse_reg, slot_pos_before);
83 slot_pos_before, slot_pos_after
|
| /seL4-test-master/kernel/src/arch/riscv/kernel/ |
| H A D | boot.c | 37 seL4_SlotPos slot_pos_before; local
40 slot_pos_before = ndks_boot.slot_pos_cur;
41 create_device_untypeds(root_cnode_cap, slot_pos_before);
42 bool_t res = create_kernel_untypeds(root_cnode_cap, boot_mem_reuse_reg, slot_pos_before);
46 slot_pos_before, slot_pos_after
|
| H A D | vspace.c | 277 seL4_SlotPos slot_pos_before = 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 | 143 seL4_SlotPos slot_pos_before; local
146 slot_pos_before = ndks_boot.slot_pos_cur;
147 create_device_untypeds(root_cnode_cap, slot_pos_before);
148 create_kernel_untypeds(root_cnode_cap, boot_mem_reuse_reg, slot_pos_before);
152 slot_pos_before, slot_pos_after
|
| /seL4-test-master/kernel/src/kernel/ |
| H A D | boot.c | 354 seL4_SlotPos slot_pos_before; local
357 slot_pos_before = ndks_boot.slot_pos_cur;
374 (seL4_SlotRegion) { slot_pos_before, slot_pos_after }, true
405 seL4_SlotPos slot_pos_before = ndks_boot.slot_pos_cur; local
417 .start = slot_pos_before,
622 BOOT_CODE bool_t create_device_untypeds(cap_t root_cnode_cap, seL4_SlotPos slot_pos_before) argument
630 if (!create_untypeds_for_region(root_cnode_cap, true, reg, slot_pos_before)) {
649 if (!create_untypeds_for_region(root_cnode_cap, true, reg, slot_pos_before)) {
|
| /seL4-test-master/kernel/src/arch/x86/32/kernel/ |
| H A D | vspace.c | 437 seL4_SlotPos slot_pos_before; local
440 slot_pos_before = ndks_boot.slot_pos_cur;
460 slot_pos_before, slot_pos_after
|
| /seL4-test-master/kernel/include/kernel/ |
| H A D | boot.h | 63 bool_t create_device_untypeds(cap_t root_cnode_cap, seL4_SlotPos slot_pos_before);
|
| /seL4-test-master/kernel/src/arch/x86/64/kernel/ |
| H A D | vspace.c | 694 seL4_SlotPos slot_pos_before; local
697 slot_pos_before = 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 | 536 seL4_SlotPos slot_pos_before; local
549 slot_pos_before = 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 | 474 seL4_SlotPos slot_pos_before; local
483 slot_pos_before = ndks_boot.slot_pos_cur;
516 slot_pos_before, slot_pos_after
|
Completed in 68 milliseconds