Searched refs:slot_pos_before (Results 1 - 10 of 10) sorted by relevance
/seL4-camkes-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-camkes-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-camkes-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-camkes-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-camkes-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-camkes-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-camkes-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-camkes-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-camkes-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 120 milliseconds