Searched defs:vgic_io_device (Results 1 – 1 of 1) sorted by relevance
18383 struct vgic_io_device { struct18405 struct vgic_io_device rd_iodev; argument