Searched refs:its_cmd_get_ittaddr (Results 1 – 3 of 3) sorted by relevance
833 #define its_cmd_get_ittaddr(cmd) (its_cmd_mask_field(cmd, 2, 8, 44) << 8) macro1176 gpa_t itt_addr = its_cmd_get_ittaddr(its_cmd); in vgic_its_cmd_handle_mapd()