Barrelfish
Main Page
Modules
Data Structures
Files
Data Structures
Data Structure Index
Data Fields
ipi_notify Struct Reference
A bidirectional IPI channel.
More...
Collaboration diagram for ipi_notify:
[
legend
]
Detailed Description
A bidirectional IPI channel.
The documentation for this struct was generated from the following file:
include/arch/x86/barrelfish/
ipi_notify.h
Generated by
1.8.11