310 static void pic_ioport_write(void *opaque, u32 addr, u32 val)  in pic_ioport_write()
428 	unsigned int addr;  in pic_ioport_read()  local
447 static void elcr_ioport_write(void *opaque, u32 addr, u32 val)  in elcr_ioport_write()
459 static int picdev_in_range(gpa_t addr)  in picdev_in_range()
475 			 gpa_t addr, int len, const void *val)  in picdev_write()
503 		       gpa_t addr, int len, void *val)  in picdev_read()
533 			       gpa_t addr, int len, const void *val)  in picdev_master_write()
540 			      gpa_t addr, int len, void *val)  in picdev_master_read()
547 			      gpa_t addr, int len, const void *val)  in picdev_slave_write()
554 			     gpa_t addr, int len, void *val)  in picdev_slave_read()
561 			     gpa_t addr, int len, const void *val)  in picdev_eclr_write()
568 			    gpa_t addr, int len, void *val)  in picdev_eclr_read()