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