libsel4allocman/src/bootstrap.c

59     cspacepath_t tcb;
464     error = api_tcb_set_space(bs->tcb.capPtr, 0,
524         if(pos == bs->tcb.capPtr || pos == bs->pd.capPtr) {
598     error = api_tcb_set_space(bs->tcb.capPtr, 0,
646     bs->tcb = bs->boot_cspace.make_path(bs->boot_cspace.cspace, seL4_CapInitThreadTCB);
649 static void bootstrap_set_pd_tcb(bootstrap_info_t *bs, cspacepath_t pd, cspacepath_t tcb) {
651     bs->tcb = tcb;
759     /* set the pd and tcb */
811 static allocman_t *_bootstrap_new_level1(bootstrap_info_t *info, size_t cnode_size, cspacepath_t tcb, cspacepath_t pd, cspacepath_t *oldroot) {
813     /* set the pd and tcb */
814     bootstrap_set_pd_tcb(info, pd, tcb);
825 static allocman_t *_bootstrap_new_level2(bootstrap_info_t *info, size_t l1size, size_t l2size, cspacepath_t tcb, cspacepath_t pd, cspacepath_t *oldroot) {
828     /* set the pd and tcb */
829     bootstrap_set_pd_tcb(info, pd, tcb);
859 allocman_t *bootstrap_new_1level(bootstrap_info_t *info, size_t cnode_size, cspacepath_t tcb, cspacepath_t pd, cspacepath_t *oldroot) {
860     allocman_t *alloc = _bootstrap_new_level1(info, cnode_size, tcb, pd, oldroot);
868 allocman_t *bootstrap_new_2level(bootstrap_info_t *info, size_t l1size, size_t l2size, cspacepath_t tcb, cspacepath_t pd, cspacepath_t *oldroot) {
869     allocman_t *alloc = _bootstrap_new_level2(info, l1size, l2size, tcb, pd, oldroot);
1195     cspacepath_t tcb = _cspace_simple1level_make_path(&bootstrap->maybe_boot_cspace, simple_get_tcb(simple));
1199         alloc = _bootstrap_new_level1(bootstrap, l1size, tcb, pd, NULL);
1201         alloc = _bootstrap_new_level2(bootstrap, l1size, l2size, tcb, pd, NULL);