Searched defs:itt_addr (Results 1 – 3 of 3) sorted by relevance
147 static void its_encode_itt(struct its_cmd_block *cmd, u64 itt_addr) in its_encode_itt()
1131 vgic_its_alloc_device(struct vgic_its * its,u32 device_id,gpa_t itt_addr,u8 num_eventid_bits) vgic_its_alloc_device() argument 1159 gpa_t itt_addr = its_cmd_get_ittaddr(its_cmd); vgic_its_cmd_handle_mapd() local 2292 gpa_t itt_addr; vgic_its_restore_dte() local [all...]
582 static void its_encode_itt(struct its_cmd_block *cmd, u64 itt_addr) in its_encode_itt() argument 712 phys_addr_t itt_addr; in its_build_mapd_cmd() local