diff options
Diffstat (limited to 'prototypes/connections/runtime.h')
| -rw-r--r-- | prototypes/connections/runtime.h | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/prototypes/connections/runtime.h b/prototypes/connections/runtime.h index 0add777..70f5d08 100644 --- a/prototypes/connections/runtime.h +++ b/prototypes/connections/runtime.h @@ -20,7 +20,10 @@ typedef enum { PURE_INPUT_READ, PURE_INPUT_WRITE } PureInput; /* The host owns this resource until it successfully returns it to the core. * release must end all access and free/unmap allocation exactly once. It runs - * while that domain is busy; calls back into the same domain are rejected. */ + * while that domain is busy; calls back into the same domain are rejected. + * A resource the host sends in pieces (such as extents of a mapping) has no + * contiguous body: body.data is NULL and body.size is still what it holds and + * is charged. Its outcome has no body to read and cannot be forwarded. */ typedef struct { PureSpan body; void *allocation; |