Lines Matching refs:cap
75 struct capref cap, cap2, cnram, cncap;
78 err = slot_alloc(&cap);
89 err = cap_retype(cap, bunch_o_ram, 0, ObjType_Frame, BASE_PAGE_SIZE, 1);
91 err = frame_identify(cap, &fi);
147 slot_free(cap);
165 struct capref cap, cap2;
168 err = slot_alloc(&cap);
175 err = cap_retype(cap, bunch_o_ram, 0, ObjType_Frame, BASE_PAGE_SIZE, 1);
177 err = frame_identify(cap, &fi);
201 /* delete first cap and retype first 4k again */
203 err = cap_delete(cap);
207 err = cap_retype(cap, bunch_o_ram, 0, ObjType_RAM, BASE_PAGE_SIZE, 1);
209 err = frame_identify(cap, &fi);
220 slot_free(cap);
232 struct capref cap, cap2;
235 err = slot_alloc(&cap);
242 err = cap_retype(cap, bunch_o_ram, 0, ObjType_Frame, 32*BASE_PAGE_SIZE, 1);
286 slot_free(cap);
297 struct capref cap;
299 err = slot_alloc(&cap);
304 err = cap_retype(cap, bunch_o_ram, 1024, ObjType_Frame, 32*BASE_PAGE_SIZE, 1);
312 err = cap_retype(cap, bunch_o_ram, LARGE_PAGE_SIZE, ObjType_Frame,
321 err = cap_retype(cap, bunch_o_ram, LARGE_PAGE_SIZE - 31*BASE_PAGE_SIZE, ObjType_Frame,
330 err = cap_retype(cap, bunch_o_ram, 0, ObjType_Frame, 6144, 1);
338 OUT(" objects do not fit into cap: ");
339 err = cap_retype(cap, bunch_o_ram, 0, ObjType_Frame, BASE_PAGE_SIZE, 513);
347 OUT(" object larger than cap: ");
348 err = cap_retype(cap, bunch_o_ram, 0, ObjType_Frame, 513*BASE_PAGE_SIZE, 1);
357 slot_free(cap);