struct domain *d;
const struct pirq *info;
unsigned long flags;
+ char *ssid;
printk("Guest interrupt information:\n");
if ( !irq_desc_initialized(desc) || desc->handler == &no_irq_type )
continue;
+ ssid = xsm_show_irq_sid(irq);
+
spin_lock_irqsave(&desc->lock, flags);
cpumask_scnprintf(keyhandler_scratch, sizeof(keyhandler_scratch),
irq, keyhandler_scratch, desc->arch.vector,
desc->handler->typename, desc->status);
+ if ( ssid )
+ printk("Z=%-25s ", ssid);
+
if ( !(desc->status & IRQ_GUEST) )
printk("mapped, unbound\n");
else
}
spin_unlock_irqrestore(&desc->lock, flags);
+
+ xfree(ssid);
}
dump_ioapic_irq_info();
int (*kexec) (void);
int (*schedop_shutdown) (struct domain *d1, struct domain *d2);
+
+ char *(*show_irq_sid) (int irq);
int (*irq_permission) (struct domain *d, int pirq, uint8_t allow);
int (*iomem_permission) (struct domain *d, uint64_t s, uint64_t e, uint8_t allow);
int (*pci_config_permission) (struct domain *d, uint32_t machine_bdf, uint16_t start, uint16_t end, uint8_t access);
return xsm_call(schedop_shutdown(d1, d2));
}
+static inline char *xsm_show_irq_sid (int irq)
+{
+ return xsm_call(show_irq_sid(irq));
+}
+
static inline int xsm_irq_permission (struct domain *d, int pirq, uint8_t allow)
{
return xsm_call(irq_permission(d, pirq, allow));
return 0;
}
-
static long dummy___do_xsm_op(XEN_GUEST_HANDLE(xsm_op_t) op)
{
return -ENOSYS;
}
+static char *dummy_show_irq_sid (int irq)
+{
+ return NULL;
+}
+
static int dummy_irq_permission (struct domain *d, int pirq, uint8_t allow)
{
return 0;
set_to_dummy_if_null(ops, kexec);
set_to_dummy_if_null(ops, schedop_shutdown);
+ set_to_dummy_if_null(ops, show_irq_sid);
set_to_dummy_if_null(ops, irq_permission);
set_to_dummy_if_null(ops, iomem_permission);
set_to_dummy_if_null(ops, pci_config_permission);
return RESOURCE__REMOVE;
}
+static char *flask_show_irq_sid (int irq)
+{
+ u32 sid, ctx_len;
+ char *ctx;
+ int rc = security_irq_sid(irq, &sid);
+ if ( rc )
+ return NULL;
+
+ if (security_sid_to_context(sid, &ctx, &ctx_len))
+ return NULL;
+
+ return ctx;
+}
+
static int flask_irq_permission (struct domain *d, int pirq, uint8_t access)
{
u32 perm;
.kexec = flask_kexec,
.schedop_shutdown = flask_schedop_shutdown,
+ .show_irq_sid = flask_show_irq_sid,
+
.irq_permission = flask_irq_permission,
.iomem_permission = flask_iomem_permission,
.pci_config_permission = flask_pci_config_permission,