Searched refs:_intid (Results 1 – 1 of 1) sorted by relevance
713 uint32_t intid = its_cmd_get_physical_id(cmdptr), _intid; in its_handle_mapti() local728 if ( read_itte(its, devid, eventid, &vcpu, &_intid) && in its_handle_mapti()729 _intid != INVALID_LPI ) in its_handle_mapti()
Completed in 4 milliseconds