Lines Matching refs:cap
26 struct capability *cap = &caps[i].cap;
27 cap->type = ObjType_PhysAddr;
28 cap->rights = CAPRIGHTS_ALLRIGHTS;
29 cap->u.ram.base = 0x0;
30 cap->u.ram.bytes = 1UL << (BASE_BITS + i);
40 struct capability *cap = &devframe.cap;
41 cap->type = ObjType_DevFrame;
42 cap->rights = CAPRIGHTS_ALLRIGHTS;
43 cap->u.devframe.base = 0x0;
44 cap->u.devframe.bytes = 1UL << BASE_BITS;
54 printf("retcap: (%d) 0x%lx %zd\n", retcte->cap.type, get_address(&retcte->cap), get_size(&retcte->cap));
56 printf("devframe: (%d) 0x%lx %zd\n", devframe.cap.type, get_address(&devframe.cap), get_size(&devframe.cap));