On 10/19/20 4:03 PM, Jason Andryuk wrote:
IRQs can be shared, so uniquely labeling doesn't always work. You run
into issues if you have domA_t allowed access to device_A_t and domB_t
to device_B_t. The shared IRQ can only be labeled one of
device_A_t or device_B_t, and assignment of the second device fails
since domA_t doesn't have permission for device_B_t and vice versa.
Add the ability to specify an irq label to flask-label-pci. A
shared_irq_t can then be used to for the PIRQ. The default remains to
use the device label if an IRQ label isn't specified.
Signed-off-by: Jason Andryuk <[email protected]>
I don't think it should block this from going in but it probably would
be good to get an update into docs/misc/xsm-flask.txt on how to
appropriately use this expansion.
Reviewed-by: Daniel P. Smith <[email protected]>
v/r,
dps
