Lines Matching refs:devid
165 static int its_set_itt_address(struct virt_its *its, uint32_t devid, in its_set_itt_address() argument
171 if ( devid >= its->max_devices ) in its_set_itt_address()
175 addr + devid * sizeof(dev_table_entry_t), in its_set_itt_address()
184 static int its_get_itt(struct virt_its *its, uint32_t devid, in its_get_itt() argument
189 if ( devid >= its->max_devices ) in its_get_itt()
193 addr + devid * sizeof(dev_table_entry_t), in its_get_itt()
203 uint32_t devid, uint32_t evid) in its_get_itte_address() argument
208 ret = its_get_itt(its, devid, &itt); in its_get_itte_address()
226 static bool read_itte(struct virt_its *its, uint32_t devid, uint32_t evid, in read_itte() argument
235 addr = its_get_itte_address(its, devid, evid); in read_itte()
258 static bool write_itte(struct virt_its *its, uint32_t devid, in write_itte() argument
266 addr = its_get_itte_address(its, devid, evid); in write_itte()
301 uint32_t devid = its_cmd_get_deviceid(cmdptr); in its_handle_int() local
308 ret = read_itte(its, devid, eventid, &vcpu, &vlpi); in its_handle_int()
348 uint32_t devid = its_cmd_get_deviceid(cmdptr); in its_handle_clear() local
359 if ( !read_itte(its, devid, eventid, &vcpu, &vlpi) ) in its_handle_clear()
363 devid, eventid); in its_handle_clear()
458 uint32_t devid = its_cmd_get_deviceid(cmdptr); in its_handle_inv() local
478 if ( !read_itte(its, devid, eventid, &vcpu, &vlpi) ) in its_handle_inv()
485 devid, eventid); in its_handle_inv()
632 static void its_unmap_device(struct virt_its *its, uint32_t devid) in its_unmap_device() argument
639 if ( its_get_itt(its, devid, &itt) ) in its_unmap_device()
652 its_discard_event(its, devid, evid); in its_unmap_device()
661 uint32_t devid = its_cmd_get_deviceid(cmdptr); in its_handle_mapd() local
673 its_unmap_device(its, devid); in its_handle_mapd()
690 ret = gicv3_its_map_guest_device(its->d, its->doorbell_address, devid, in its_handle_mapd()
691 its->doorbell_address, devid, in its_handle_mapd()
700 ret = its_set_itt_address(its, devid, itt_addr, size); in its_handle_mapd()
702 ret = its_set_itt_address(its, devid, INVALID_PADDR, 1); in its_handle_mapd()
711 uint32_t devid = its_cmd_get_deviceid(cmdptr); in its_handle_mapti() local
728 if ( read_itte(its, devid, eventid, &vcpu, &_intid) && in its_handle_mapti()
744 if ( !write_itte(its, devid, eventid, collid, intid) ) in its_handle_mapti()
758 devid, eventid, intid); in its_handle_mapti()
798 gicv3_remove_guest_event(its->d, its->doorbell_address, devid, eventid); in its_handle_mapti()
802 write_itte(its, devid, eventid, UNMAPPED_COLLECTION, INVALID_LPI); in its_handle_mapti()
810 uint32_t devid = its_cmd_get_deviceid(cmdptr); in its_handle_movi() local
821 if ( !read_itte(its, devid, eventid, &ovcpu, &vlpi) ) in its_handle_movi()
833 devid, eventid); in its_handle_movi()
860 if ( !write_itte(its, devid, eventid, collid, vlpi) ) in its_handle_movi()
873 uint32_t devid = its_cmd_get_deviceid(cmdptr); in its_handle_discard() local
880 ret = its_discard_event(its, devid, eventid); in its_handle_discard()
885 if ( !write_itte(its, devid, eventid, UNMAPPED_COLLECTION, INVALID_LPI) ) in its_handle_discard()