Lines Matching defs:cap2
98 struct capref cap, cap2, cnram, cncap;
103 err = slot_alloc(&cap2);
126 err = cap_retype(cap2, bunch_o_ram, BASE_PAGE_SIZE, ObjType_RAM, BASE_PAGE_SIZE * 4, 1);
128 err = frame_ram_identify(cap2, &fi);
141 err = cap_retype(cnram, cap2, 0, ObjType_RAM, BASE_PAGE_SIZE, 1);
147 err = cap_retype(tmp, cap2, BASE_PAGE_SIZE, ObjType_Frame, BASE_PAGE_SIZE, 3);
171 slot_free(cap2);
188 struct capref cap, cap2;
193 err = slot_alloc(&cap2);
212 err = cap_retype(cap2, bunch_o_ram, BASE_PAGE_SIZE, ObjType_RAM, BASE_PAGE_SIZE * 4, 1);
214 err = frame_ram_identify(cap2, &fi);
244 slot_free(cap2);
255 struct capref cap, cap2;
260 err = slot_alloc(&cap2);
269 err = cap_retype(cap2, bunch_o_ram, 16*BASE_PAGE_SIZE,
279 err = cap_retype(cap2, bunch_o_ram, BASE_PAGE_SIZE,
289 err = cap_retype(cap2, bunch_o_ram, 4*BASE_PAGE_SIZE,
299 err = cap_retype(cap2, bunch_o_ram, 0,
310 slot_free(cap2);