/barrelfish-master/doc/002-mackerel/ |
H A D | Mackerel.tex | 890 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 D | Routing.tex | 275 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 D | IDC.tex | 774 single-shot; an event handler function that wishes to handle future events will
|
/barrelfish-master/doc/012-services/ |
H A D | Services.tex | 950 Terminal & N & Medium & there is some code to handle this in lib
|
/barrelfish-master/doc/013-capability-mgmt/ |
H A D | type_system.tex | 287 Most domains will generally not handle capabilities of this type.
|
/barrelfish-master/doc/015-disk-driver-arch/ |
H A D | blockdevfs.tex | 16 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 D | fat.tex | 66 uses doubly linked lists to handle collisions, the free list, and a list of
|
H A D | flounder-ahci.tex | 95 handle this information, as demonstrated in the following examples:
|
H A D | future.tex | 42 We also do not handle hotplug of devices. Addition of devices could implemented
|
H A D | libahci.tex | 46 \begin{lstlisting}[caption={DMA region handle},label=code:reghandle]
|
H A D | running.tex | 34 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 D | Serial.tex | 98 ignored. The motivation for this is to handle the case where the
|
/barrelfish-master/doc/018-Practical-guide/ |
H A D | helloWorldApp.tex | 139 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 D | DeviceDriver.tex | 386 handle the peripherals. How does Kaluga know what driver to start for each
|
/barrelfish-master/doc/023-coreboot/ |
H A D | coreboot.tex | 76 device and hot-plug management infrastructure to handle new cores and select
|
/barrelfish-master/doc/026-device-queues/ |
H A D | devif.tex | 175 \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 D | nameser.h | 121 * 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 D | dma_service.h | 13 /// 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 D | tftp_server.h | 61 * @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 D | nfs_rpc.h | 155 nfs_fh3 handle; member in union:post_op_fh3::__anon191
|
/barrelfish-master/include/ |
H A D | nsswitch.h | 215 void *handle; /* handle from dlopen */ member in struct:_ns_mod
|
H A D | stdio_file.h | 96 void *handle; // Handle to pass to file handling functions member in struct:__file
|
/barrelfish-master/include/vm/ |
H A D | default_pager.c | 79 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 D | device_pager.c | 89 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 D | phys_pager.c | 63 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;
|