tests/capops/retype.c

112     err = cap_retype(cap, bunch_o_ram, 0, ObjType_Frame, BASE_PAGE_SIZE, 1);
117     if (bor_id.base != fi.base || fi.bytes != BASE_PAGE_SIZE) {
126     err = cap_retype(cap2, bunch_o_ram, BASE_PAGE_SIZE, ObjType_RAM, BASE_PAGE_SIZE * 4, 1);
131     if (bor_id.base + BASE_PAGE_SIZE != fi.base || fi.bytes != 4*BASE_PAGE_SIZE) {
132         print_unexpected("", bor_id.base + BASE_PAGE_SIZE, "16kB", fi.base, fi.bytes);
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);
149     // offset of slot 0 is 8kB --> addrs should be (2+slot) * BASE_PAGE_SIZE
153         if (bor_id.base + (2+tmp.slot)*BASE_PAGE_SIZE != fi.base ||
154             fi.bytes != BASE_PAGE_SIZE)
158             print_unexpected(buf, bor_id.base + (2+tmp.slot) * BASE_PAGE_SIZE,
198     err = cap_retype(cap, bunch_o_ram, 0, ObjType_Frame, BASE_PAGE_SIZE, 1);
203     if (bor_id.base != fi.base || fi.bytes != BASE_PAGE_SIZE) {
212     err = cap_retype(cap2, bunch_o_ram, BASE_PAGE_SIZE, ObjType_RAM, BASE_PAGE_SIZE * 4, 1);
217     if (bor_id.base + BASE_PAGE_SIZE != fi.base || fi.bytes != 4*BASE_PAGE_SIZE) {
218         print_unexpected("", bor_id.base + BASE_PAGE_SIZE, "16kB", fi.base, fi.bytes);
230     err = cap_retype(cap, bunch_o_ram, 0, ObjType_RAM, BASE_PAGE_SIZE, 1);
235     if (bor_id.base != fi.base || fi.bytes != BASE_PAGE_SIZE) {
265     err = cap_retype(cap, bunch_o_ram, 0, ObjType_Frame, 32*BASE_PAGE_SIZE, 1);
269     err = cap_retype(cap2, bunch_o_ram, 16*BASE_PAGE_SIZE,
270             ObjType_Frame, 16*BASE_PAGE_SIZE, 1);
279     err = cap_retype(cap2, bunch_o_ram, BASE_PAGE_SIZE,
280             ObjType_Frame, 31*BASE_PAGE_SIZE, 1);
289     err = cap_retype(cap2, bunch_o_ram, 4*BASE_PAGE_SIZE,
290             ObjType_Frame, 31*BASE_PAGE_SIZE, 1);
300             ObjType_Frame, 32*BASE_PAGE_SIZE, 1);
327     err = cap_retype(cap, bunch_o_ram, 1024, ObjType_Frame, 32*BASE_PAGE_SIZE, 1);
336             32*BASE_PAGE_SIZE, 1);
344     err = cap_retype(cap, bunch_o_ram, LARGE_PAGE_SIZE - 31*BASE_PAGE_SIZE, ObjType_Frame,
345             32*BASE_PAGE_SIZE, 1);
362     err = cap_retype(cap, bunch_o_ram, 0, ObjType_Frame, BASE_PAGE_SIZE, 513);
371     err = cap_retype(cap, bunch_o_ram, 0, ObjType_Frame, 513*BASE_PAGE_SIZE, 1);