+ if((irq<0) || (irq>15)) {
+ printk("Trying to free invalid IRQ\n");
+ return ;
+ }
+
+ if(irq<8)
+ *(volatile unsigned char *)(pica+1)|=(1<<irq);
+ else
+ *(volatile unsigned char *)(picb+1)|=(1<<(irq-8));
+
+ dn_irqs[irq].handler=NULL;
+ dn_irqs[irq].flags=IRQ_FLG_STD;
+ dn_irqs[irq].dev_id=NULL;
+ dn_irqs[irq].devname=NULL;
+
+ return ;
+
+}
+
+void dn_enable_irq(unsigned int irq) {
+
+ printk("dn enable irq\n");
+
+}
+
+void dn_disable_irq(unsigned int irq) {
+
+ printk("dn disable irq\n");
+
+}
+
+int show_dn_interrupts(struct seq_file *p, void *v) {
+
+ printk("dn get irq list\n");
+
+ return 0;
+
+}
+
+struct fb_info *dn_dummy_fb_init(long *mem_start) {
+
+ printk("fb init\n");
+
+ return NULL;
+
+}
+
+void dn_dummy_video_setup(char *options,int *ints) {
+
+ printk("no video yet\n");