tests/memtest/mem_free.c

27     // Get an 8K RAM cap
35     struct capability cap;
36     err = debug_cap_identify(theram, &cap);
38     assert(cap.type == ObjType_RAM);
40            cap.u.ram.base, cap.u.ram.bits);
54     err = debug_cap_identify(leftcap, &cap);
56     assert(cap.type == ObjType_RAM);
58            cap.u.ram.base, cap.u.ram.bits);
60     err = debug_cap_identify(rightcap, &cap);
62     assert(cap.type == ObjType_RAM);
64            cap.u.ram.base, cap.u.ram.bits);