Searched defs:eventid (Results 1 – 2 of 2) sorted by relevance
186 uint32_t deviceid, uint32_t eventid, in its_send_cmd_mapti()238 uint32_t deviceid, uint32_t eventid) in its_send_cmd_inv()603 uint32_t devid, uint32_t eventid, in gicv3_its_map_host_events()837 uint32_t eventid, in get_event_pending_irq()860 uint32_t eventid) in gicv3_its_get_event_pending_irq()866 uint32_t vdevid, uint32_t eventid) in gicv3_remove_guest_event()892 uint32_t vdevid, uint32_t eventid, in gicv3_assign_guest_event()
302 uint32_t eventid = its_cmd_get_id(cmdptr); in its_handle_int() local349 uint32_t eventid = its_cmd_get_id(cmdptr); in its_handle_clear() local459 uint32_t eventid = its_cmd_get_id(cmdptr); in its_handle_inv() local712 uint32_t eventid = its_cmd_get_id(cmdptr); in its_handle_mapti() local811 uint32_t eventid = its_cmd_get_id(cmdptr); in its_handle_movi() local874 uint32_t eventid = its_cmd_get_id(cmdptr); in its_handle_discard() local
Completed in 9 milliseconds