Searched refs:handle (Results 1 - 25 of 288) sorted by path

1234567891011>>

/barrelfish-master/doc/002-mackerel/
H A DMackerel.tex890 code will be generated to handle writes to this value.
893 code will be generated to handle reads from this value, but
/barrelfish-master/doc/006-routing/
H A DRouting.tex275 It must be noted that the routing table set-up dispatcher can only generate the routing tables for the cores of a single system. It cannot handle set-ups like an Intel single chip cloud computer connected to a x86 machine over a PCIe-based channel.
279 It is possible that one dispatcher on a multi-hop channel is sending at a faster rate than the receiving dispatcher can handle incoming messages and process them. Because we want to provide a reliable messaging service, we cannot just drop messages in such a case, but have to buffer them and deliver them eventually. To limit the space needed to buffer undelivered messages, we decided to implement a flow control mechanism within the multi-hop interconnect driver. The flow control mechanism allows the receiving dispatcher to control the transmission speed, so that it is not overwhelmed with messages.
511 While the sender waits for the callback, it has to handle the unsent message.
/barrelfish-master/doc/011-idc/
H A DIDC.tex774 single-shot; an event handler function that wishes to handle future events will
/barrelfish-master/doc/012-services/
H A DServices.tex950 Terminal & N & Medium & there is some code to handle this in lib
/barrelfish-master/doc/013-capability-mgmt/
H A Dtype_system.tex287 Most domains will generally not handle capabilities of this type.
/barrelfish-master/doc/015-disk-driver-arch/
H A Dblockdevfs.tex16 handle. blockdevfs does not enforce any kind of order in this list. Therefore,
28 backend. \lstinline+backend_handle+ points to an internal handle private to the
46 \lstinline+backend_handle+ freely. This handle will be passed as an argument to
52 \item \lstinline+open(void *handle)+ to open an exported file. The backend does not have to check or manipulate any blockdevfs-specific structures. blockdevfs ensures that only one client has a file open concurrently.
53 \item \lstinline+close(void *handle)+ to close a previously opened file. As with open, blockdevfs takes care of manipulating its structures.
54 \item \lstinline+read(void *handle, size_t pos, void *buffer, size_t bytes,+\\
55 \lstinline+ size_t *bytes_read)+ to read from the file corresponding to the handle.
56 \item \lstinline+write(void *handle, size_t pos, void *buffer, size_t bytes,+\\
57 \lstinline+ size_t *bytes_written)+ to write to the file corresponding to the handle.
58 \item \lstinline+flush(void *handle)
[all...]
H A Dfat.tex66 uses doubly linked lists to handle collisions, the free list, and a list of
H A Dflounder-ahci.tex95 handle this information, as demonstrated in the following examples:
H A Dfuture.tex42 We also do not handle hotplug of devices. Addition of devices could implemented
H A Dlibahci.tex46 \begin{lstlisting}[caption={DMA region handle},label=code:reghandle]
H A Drunning.tex34 Barrelfish's system knowledge base is not able to handle addresses above 32 bit
42 properly recognise and handle the devices in question.
/barrelfish-master/doc/016-serial-ports/
H A DSerial.tex98 ignored. The motivation for this is to handle the case where the
/barrelfish-master/doc/018-Practical-guide/
H A DhelloWorldApp.tex139 err = event_dispatch(ws); /* get and handle next event */
150 will wait for events on the default wait-set and handle those events
232 responsible to actually handle the requests. In our case, we are just
276 service name. The \texttt{iref} handle returned by this call can be used
/barrelfish-master/doc/019-device-drivers/
H A DDeviceDriver.tex386 handle the peripherals. How does Kaluga know what driver to start for each
/barrelfish-master/doc/023-coreboot/
H A Dcoreboot.tex76 device and hot-plug management infrastructure to handle new cores and select
/barrelfish-master/doc/026-device-queues/
H A Ddevif.tex175 \item \texttt{devq *q}: handle to the device queue.
216 \item \texttt{devq *q}: handle to the device queue
274 \item \texttt{devq *q}: handle to the device queue.
335 \item \texttt{devq *q}: handle to the device queue.
385 \item \texttt{devq *q}: handle to the device queue.
559 \ref{fig:overview}. The creation of a queue yields a handle that contains all the
/barrelfish-master/include/arpa/
H A Dnameser.h121 * This is a message handle. It is caller allocated and has no dynamic data.
135 * This is a newmsg handle, used when constructing new messages with
151 #define ns_msg_id(handle) ((handle)._id + 0)
152 #define ns_msg_base(handle) ((handle)._msg + 0)
153 #define ns_msg_end(handle) ((handle)._eom + 0)
154 #define ns_msg_size(handle) ((handle)
[all...]
/barrelfish-master/include/dma/
H A Ddma_service.h13 /// dma service handle
86 static inline void *dma_service_get_user_state(dma_svc_handle_t handle) argument
88 return (void *) *((lvaddr_t *)handle);
/barrelfish-master/include/lwip2/lwip/apps/
H A Dtftp_server.h61 * @returns File handle supplied to other functions
65 * Close file handle
66 * @param handle File handle returned by open()
68 void (*close)(void* handle);
71 * @param handle File handle returned by open()
76 int (*read)(void* handle, void* buf, int bytes);
79 * @param handle File handle returne
[all...]
/barrelfish-master/include/nfs/
H A Dnfs_rpc.h155 nfs_fh3 handle; member in union:post_op_fh3::__anon191
/barrelfish-master/include/
H A Dnsswitch.h215 void *handle; /* handle from dlopen */ member in struct:_ns_mod
H A Dstdio_file.h96 void *handle; // Handle to pass to file handling functions member in struct:__file
/barrelfish-master/include/vm/
H A Ddefault_pager.c79 default_pager_alloc(void *handle, vm_ooffset_t size, vm_prot_t prot, argument
84 if (handle != NULL)
85 panic("default_pager_alloc: handle specified");
H A Ddevice_pager.c89 static int old_dev_pager_ctor(void *handle, vm_ooffset_t size, vm_prot_t prot,
91 static void old_dev_pager_dtor(void *handle);
110 cdev_pager_lookup(void *handle) argument
115 object = vm_pager_object_lookup(&dev_pager_object_list, handle);
121 cdev_pager_allocate(void *handle, enum obj_type tp, struct cdev_pager_ops *ops, argument
140 if (ops->cdev_pg_ctor(handle, size, prot, foff, cred, &color) != 0)
148 object = vm_pager_object_lookup(&dev_pager_object_list, handle);
159 object1->handle = handle;
161 object1->un_pager.devp.dev = handle;
199 dev_pager_alloc(void *handle, vm_ooffset_t size, vm_prot_t prot, vm_ooffset_t foff, struct ucred *cred) argument
389 old_dev_pager_ctor(void *handle, vm_ooffset_t size, vm_prot_t prot, vm_ooffset_t foff, struct ucred *cred, u_short *color) argument
430 old_dev_pager_dtor(void *handle) argument
[all...]
H A Dphys_pager.c63 phys_pager_alloc(void *handle, vm_ooffset_t size, vm_prot_t prot, argument
77 if (handle != NULL) {
83 object = vm_pager_object_lookup(&phys_pager_object_list, handle);
92 handle);
103 object->handle = handle;
127 if (object->handle != NULL) {
134 object->handle = NULL;

Completed in 133 milliseconds

1234567891011>>