/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/include/ |
H A D | lev.h | 19 struct container { struct 20 struct container *next; 36 struct container *cons;
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/include/ |
H A D | lev.h | 19 struct container { struct 20 struct container *next; 36 struct container *cons;
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/ |
H A D | mkobj.c | 248 /* as a back pointer to the container object when contained. */ 798 * container's weight. 1292 * OBJ_CONTAINED cobj chain of container object 1411 * Add obj to container, make sure obj is "free". Returns (merged) obj. 1415 add_to_container(container, obj) 1416 struct obj *container, *obj; 1422 if (container->where != OBJ_INVENT && container->where != OBJ_MINVENT) 1426 for (otmp = container->cobj; otmp; otmp = otmp->nobj) 1430 obj->ocontainer = container; [all...] |
H A D | pickup.c | 6 * Contains code for picking objects up, and container use. 47 * How much the weight of the given container will change when the given 978 carry_count(obj, container, count, telekinesis, wt_before, wt_after) 979 struct obj *obj, *container; /* object to pick up, bag it's coming out of */ 984 boolean adjust_wt = container && carried(container), 1006 wt -= (container->otyp == BAG_OF_HOLDING) ? 1007 (int)DELTA_CWT(container, obj) : (int)obj->owt; 1052 ow -= (container->otyp == BAG_OF_HOLDING) ? 1053 (int)DELTA_CWT(container, ob [all...] |
H A D | mkmaze.c | 968 struct container *cons = (struct container *) 969 alloc(sizeof(struct container)); 987 struct container *cons = (struct container *) 988 alloc(sizeof(struct container)); 1007 struct container *cons = (struct container *) 1008 alloc(sizeof(struct container)); 1019 struct container *con [all...] |
H A D | do.c | 1496 struct obj *container = (struct obj *)0; local 1507 container = corpse->ocontainer; 1508 mtmp2 = get_container_location(container, &container_where, (int *)0); 1509 /* container_where is the outermost container's location even if nested */ 1543 mcarry && canseemon(mcarry) && container) { 1546 xname(container)); 1548 } else if (container_where == OBJ_INVENT && container) { 1550 Strcpy(sackname, an(xname(container))); 1555 } else if (container_where == OBJ_FLOOR && container && 1558 Strcpy(sackname, an(xname(container))); [all...] |
H A D | shk.c | 1925 /* returns the price of a container's content. the price 1926 * of the "top" container is added in the calling functions. 1942 /* the "top" container is evaluated by caller */ 1987 /* the "top" container is treated in the calling fn */ 2005 /* the "top" container is treated in the calling fn */ 2197 register boolean container = Has_contents(obj); local 2223 if (obj->no_charge && !container) { 2228 if(container) { 2256 } else /* i.e., !container */ 2548 boolean saleitem, cgold = FALSE, container local [all...] |
H A D | dokick.c | 339 /* container is kicked, dropped, thrown or otherwise impacted by player. 340 * Assumes container is on floor. Checks contents for possible damage. */ 1282 boolean nodrop, unpaid, container, impact = FALSE; local 1295 container = Has_contents(otmp); 1296 unpaid = (otmp->unpaid || (container && count_unpaid(otmp->cobj))); 1333 if(container)
|
H A D | zap.c | 529 * about the outermost container: 553 *loc = obj->where; /* outermost container's location */ 568 struct obj *container = (struct obj *)0; local 582 container = obj->ocontainer; 583 carrier = get_container_location(container, &holder, 609 - the container cannot be locked 610 - the container cannot be heavily nested (>2 is arbitrary) 611 - the container cannot be a statue or bag of holding 614 if (!x || !y || container->olocked || container_nesting > 2 || 615 container [all...] |
H A D | sp_lev.c | 982 static struct obj *container = 0; local 986 if (!container) { 987 impossible("create_object: no container"); 991 (void) add_to_container(container, otmp); 993 /* container */ 996 container = otmp; 1006 * other contents, but that can be specified as an empty container.
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/ |
H A D | mkobj.c | 248 /* as a back pointer to the container object when contained. */ 798 * container's weight. 1292 * OBJ_CONTAINED cobj chain of container object 1411 * Add obj to container, make sure obj is "free". Returns (merged) obj. 1415 add_to_container(container, obj) 1416 struct obj *container, *obj; 1422 if (container->where != OBJ_INVENT && container->where != OBJ_MINVENT) 1426 for (otmp = container->cobj; otmp; otmp = otmp->nobj) 1430 obj->ocontainer = container; [all...] |
H A D | pickup.c | 6 * Contains code for picking objects up, and container use. 47 * How much the weight of the given container will change when the given 978 carry_count(obj, container, count, telekinesis, wt_before, wt_after) 979 struct obj *obj, *container; /* object to pick up, bag it's coming out of */ 984 boolean adjust_wt = container && carried(container), 1006 wt -= (container->otyp == BAG_OF_HOLDING) ? 1007 (int)DELTA_CWT(container, obj) : (int)obj->owt; 1052 ow -= (container->otyp == BAG_OF_HOLDING) ? 1053 (int)DELTA_CWT(container, ob [all...] |
H A D | mkmaze.c | 968 struct container *cons = (struct container *) 969 alloc(sizeof(struct container)); 987 struct container *cons = (struct container *) 988 alloc(sizeof(struct container)); 1007 struct container *cons = (struct container *) 1008 alloc(sizeof(struct container)); 1019 struct container *con [all...] |
H A D | do.c | 1496 struct obj *container = (struct obj *)0; local 1507 container = corpse->ocontainer; 1508 mtmp2 = get_container_location(container, &container_where, (int *)0); 1509 /* container_where is the outermost container's location even if nested */ 1543 mcarry && canseemon(mcarry) && container) { 1546 xname(container)); 1548 } else if (container_where == OBJ_INVENT && container) { 1550 Strcpy(sackname, an(xname(container))); 1555 } else if (container_where == OBJ_FLOOR && container && 1558 Strcpy(sackname, an(xname(container))); [all...] |
H A D | shk.c | 1925 /* returns the price of a container's content. the price 1926 * of the "top" container is added in the calling functions. 1942 /* the "top" container is evaluated by caller */ 1987 /* the "top" container is treated in the calling fn */ 2005 /* the "top" container is treated in the calling fn */ 2197 register boolean container = Has_contents(obj); local 2223 if (obj->no_charge && !container) { 2228 if(container) { 2256 } else /* i.e., !container */ 2548 boolean saleitem, cgold = FALSE, container local [all...] |
H A D | dokick.c | 339 /* container is kicked, dropped, thrown or otherwise impacted by player. 340 * Assumes container is on floor. Checks contents for possible damage. */ 1282 boolean nodrop, unpaid, container, impact = FALSE; local 1295 container = Has_contents(otmp); 1296 unpaid = (otmp->unpaid || (container && count_unpaid(otmp->cobj))); 1333 if(container)
|
H A D | zap.c | 529 * about the outermost container: 553 *loc = obj->where; /* outermost container's location */ 568 struct obj *container = (struct obj *)0; local 582 container = obj->ocontainer; 583 carrier = get_container_location(container, &holder, 609 - the container cannot be locked 610 - the container cannot be heavily nested (>2 is arbitrary) 611 - the container cannot be a statue or bag of holding 614 if (!x || !y || container->olocked || container_nesting > 2 || 615 container [all...] |
H A D | sp_lev.c | 982 static struct obj *container = 0; local 986 if (!container) { 987 impossible("create_object: no container"); 991 (void) add_to_container(container, otmp); 993 /* container */ 996 container = otmp; 1006 * other contents, but that can be specified as an empty container.
|
/seL4-refos-master/kernel/manual/parts/ |
H A D | cspace.tex | 258 If the object to be destroyed was a capability container, i.e.\ a TCB 260 the container, prior to destroying the container. This may result in 263 capability to a CNode is found within the container, the found CNode
|
H A D | objects.tex | 301 context donation and provide a container for single-use reply capabilities.
|