See the "XSM/FLASK Configuration" document for further information (http://xenbits.xen.org/docs/4.2-testing/misc/xsm-flask.txt)
Label i/o memory. This may be a single memory location or a range.
Statement definition:
(iomemcon mem_addr|(mem_low mem_high) context_id)
Where:
|
The |
|
A single memory address to apply the context, or a range of addresses. The entries must consist of numerics |
|
A previously declared |
Example:
An anonymous context for a memory address range of 0xfebe0-0xfebff
:
(iomemcon (1043424 1043455) (unconfined.user object_r unconfined.object low_low))
Label i/o ports. This may be a single port or a range.
Statement definition:
(ioportcon port|(port_low port_high) context_id)
Where:
|
The |
|
A single port to apply the context, or a range of ports. The entries must consist of numerics |
|
A previously declared |
Example:
An anonymous context for a single port of :0xecc0
:
(ioportcon 60608 (unconfined.user object_r unconfined.object low_low))
Label a PCI device.
Statement definition:
(pcidevicecon device context_id)
Where:
|
The |
|
The device number.The entries must consist of numerics |
|
A previously declared |
Example:
An anonymous context for a pci device address of 0xc800
:
(pcidevicecon 51200 (unconfined.user object_r unconfined.object low_low))
Label an interrupt level.
Statement definition:
(pirqcon irq_level context_id)
Where:
|
The |
|
The interrupt request number. The entries must consist of numerics |
|
A previously declared |
Example:
An anonymous context for IRQ 33:
(pirqcon 33 (unconfined.user object_r unconfined.object low_low))