Searched refs:itt_base (Results 1 – 3 of 3) sorted by relevance
12 void its_send_mapd_cmd(void *cmdq_base, u32 device_id, vm_paddr_t itt_base,
200 void its_send_mapd_cmd(void *cmdq_base, u32 device_id, vm_paddr_t itt_base, in its_send_mapd_cmd() argument208 its_encode_itt(&cmd, itt_base); in its_send_mapd_cmd()
76 vm_paddr_t itt_base = test_data.itt_tables + (device_id * SZ_64K); in guest_setup_its_mappings() local79 itt_base, SZ_64K, true); in guest_setup_its_mappings()