diff options
Diffstat (limited to 'viengoos/cap.h')
| -rw-r--r-- | viengoos/cap.h | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/viengoos/cap.h b/viengoos/cap.h index d8da9a3..8ce0820 100644 --- a/viengoos/cap.h +++ b/viengoos/cap.h @@ -33,22 +33,22 @@ static inline bool cap_set (struct activity *activity, struct vg_cap *target, struct vg_cap source) { /* This is kosher as we know the implementation of CAP_COPY. */ - return vg_cap_copy (activity, - VG_ADDR_VOID, target, VG_ADDR_VOID, - VG_ADDR_VOID, source, VG_ADDR_VOID); + return vg_cap_copy_simple (activity, + VG_ADDR_VOID, target, VG_ADDR_VOID, + VG_ADDR_VOID, source, VG_ADDR_VOID); } /* Invalidate all mappings that may depend on this object. */ extern void cap_shootdown (struct activity *activity, struct vg_cap *cap); /* Return the object designated by CAP, if any. */ -struct object *vg_cap_to_object (struct activity *activity, - struct vg_cap *cap); +struct vg_object *vg_cap_to_object (struct activity *activity, + struct vg_cap *cap); /* Like vg_cap_to_object but only returns the object if it is in memory. */ -struct object *cap_to_object_soft (struct activity *activity, - struct vg_cap *cap); +struct vg_object *cap_to_object_soft (struct activity *activity, + struct vg_cap *cap); |