L4Re Operating System Framework
Interface and Usage Documentation
|
Opaque type for representing a notification domain. More...
#include <device.h>
Opaque type for representing a notification domain.
Notification domains must be assigned to devices such that all devices that require a shared pool of resources to process their requests, also find themselves in the same notification domain. In particular, if two devices access common resources, then they must be in the same domain. An example of this are two partitions sharing the same parent device because processing of requests for one partition might depend on completion of request processing in another partition. On the other hand, independent disk devices will typically not share the same notification domain because their requests are completely independent of each other.