#include "linux/list.h"
#include "linux/mm.h"
#include "linux/console.h"
+#include "linux/vs_cvirt.h"
#include "asm/irq.h"
#include "asm/uaccess.h"
#include "user_util.h"
machine_restart(NULL);
}
+extern void ctrl_alt_del(void);
+
void mconsole_cad(struct mc_request *req)
{
mconsole_reply(req, "", 0, 0);
register_reboot_notifier(&reboot_notifier);
err = um_request_irq(MCONSOLE_IRQ, sock, IRQ_READ, mconsole_interrupt,
- IRQF_DISABLED | IRQF_SHARED | IRQF_SAMPLE_RANDOM,
+ SA_INTERRUPT | SA_SHIRQ | SA_SAMPLE_RANDOM,
"mconsole", (void *)sock);
if (err){
printk("Failed to get IRQ for management console\n");