barrelfish-2018-10-04/kernel/capabilities.c

1429     struct capability *src_cap = &src_cte->cap;
1452     if (src_cap->type != ObjType_IRQSrc && offset % dest_obj_alignment != 0) {
1455     assert(offset % dest_obj_alignment == 0 || src_cap->type == ObjType_IRQSrc);
1491     err = is_retypeable(src_cte, src_cap->type, type, from_monitor);
1509     assert(src_cap->type == ObjType_PhysAddr ||
1510            src_cap->type == ObjType_RAM ||
1511            src_cap->type == ObjType_Dispatcher ||
1512            src_cap->type == ObjType_Frame ||
1513            src_cap->type == ObjType_DevFrame ||
1514            src_cap->type == ObjType_IRQSrc ||
1515            src_cap->type == ObjType_ProcessManager);
1517     if (src_cap->type != ObjType_Dispatcher && src_cap->type != ObjType_IRQSrc) {
1518         base = get_address(src_cap);
1519         size = get_size(src_cap);
1522     maxobjs = caps_max_numobjs(type, get_size(src_cap), objsize);
1544     if (src_cap->type != ObjType_Dispatcher && src_cap->type != ObjType_IRQSrc
1545             && src_cap->type != ObjType_Domain) {
1547         if (offset + count * objsize > get_size(src_cap)) {
1561             err = mdb_find_range(get_type_root(src_cap->type), base, objsize * count,
1596                      !is_copy(&found_cte->cap, src_cap))
1639     if(src_cap->type == ObjType_IRQSrc){
1647         if(!(src_cap->u.irqsrc.vec_start <= vec_start_new &&
1648                 vec_start_new <= src_cap->u.irqsrc.vec_end)){
1653         if(!(src_cap->u.irqsrc.vec_start <= vec_end_new &&
1654                 vec_end_new <= src_cap->u.irqsrc.vec_end)){
1680         assert(src_cap->type == ObjType_Dispatcher);
1683         dest_cap->u.endpoint.listener = src_cap->u.dispatcher.dcb;
1688     if (count == 1 && objsize == get_size(src_cap) && type == src_cap->type) {
1690         assert(is_copy(&dest_cte[0].cap, src_cap));
1777     struct capability *src_cap  = &src_cte->cap;
1780     if (src_cap->type == ObjType_Null) {
1792     err = set_cap(dest_cap, src_cap);
1822     switch(src_cap->type) {
1842         if(src_cap->u.io.start  <= param1) {
1845         if(src_cap->u.io.end  >= param2) {