| H A D | bootstrap.c | 77 static void bootstrap_free_info(bootstrap_info_t *bs) { argument
78 if (bs->uts) {
79 allocman_mspace_free(bs->alloc, bs->uts, sizeof(cspacepath_t) * bs->num_uts);
80 allocman_mspace_free(bs->alloc, bs->ut_size_bits, sizeof(size_t) * bs->num_uts);
82 allocman_mspace_free(bs->alloc, bs, sizeo
111 bootstrap_set_boot_cspace(bootstrap_info_t *bs, cspace_interface_t cspace, cspacepath_t root_cnode) argument
118 bootstrap_create_temp_bootinfo_cspace_at(bootstrap_info_t *bs, seL4_BootInfo *bi, seL4_CPtr root_cnode) argument
133 bootstrap_create_temp_bootinfo_cspace(bootstrap_info_t *bs, seL4_BootInfo *bi) argument
139 bootstrap_info_t *bs = allocman_mspace_alloc(alloc, sizeof(bootstrap_info_t), &error); local
151 _add_ut(bootstrap_info_t *bs, cspacepath_t slot, size_t size_bits, uintptr_t paddr, bool isDevice) argument
199 bootstrap_add_untypeds(bootstrap_info_t *bs, size_t num, const cspacepath_t *uts, size_t *size_bits, uintptr_t *paddr, bool isDevice) argument
211 bootstrap_add_untypeds_from_bootinfo(bootstrap_info_t *bs, seL4_BootInfo *bi) argument
234 bootstrap_add_untypeds_from_simple(bootstrap_info_t *bs, simple_t *simple) argument
258 _remove_ut(bootstrap_info_t *bs, size_t i) argument
308 _split_ut(bootstrap_info_t *bs, cspacepath_t ut, cspacepath_t p1, cspacepath_t p2, size_t size) argument
321 _retype_cnode(bootstrap_info_t *bs, cspacepath_t ut, cspacepath_t cnode, seL4_Word sel4_size) argument
331 bootstrap_allocate_cnode(bootstrap_info_t *bs, size_t size, cspacepath_t *slot) argument
399 bootstrap_use_current_cspace(bootstrap_info_t *bs, cspace_interface_t cspace) argument
410 bootstrap_use_current_1level_cspace(bootstrap_info_t *bs, seL4_CPtr cnode, size_t size_bits, size_t start_free_index, size_t end_free_index) argument
436 bootstrap_new_1level_cspace(bootstrap_info_t *bs, int size) argument
497 bootstrap_transfer_caps_simple(bootstrap_info_t *bs, simple_t *simple, int levels) argument
540 bootstrap_new_2level_cspace(bootstrap_info_t *bs, size_t l1size, size_t l2size, seL4_CPtr cnode, seL4_CPtr old_cnode, size_t total_caps) argument
637 bootstrap_update_untypeds(bootstrap_info_t *bs) argument
644 bootstrap_set_pd_tcb_bootinfo(bootstrap_info_t *bs) argument
649 bootstrap_set_pd_tcb(bootstrap_info_t *bs, cspacepath_t pd, cspacepath_t tcb) argument
654 bootstrap_move_untypeds(bootstrap_info_t *bs) argument
673 bootstrap_create_utspace(bootstrap_info_t *bs) argument
[all...] |