Home
last modified time | relevance | path

Searched defs:itt_addr (Results 1 – 2 of 2) sorted by relevance

/Linux-v6.6/arch/arm64/kvm/vgic/
Dvgic-its.c124 gpa_t itt_addr; member
1177 u32 device_id, gpa_t itt_addr, in vgic_its_alloc_device()
1205 gpa_t itt_addr = its_cmd_get_ittaddr(its_cmd); in vgic_its_cmd_handle_mapd() local
2380 gpa_t itt_addr; in vgic_its_restore_dte() local
/Linux-v6.6/drivers/irqchip/
Dirq-gic-v3-its.c484 static void its_encode_itt(struct its_cmd_block *cmd, u64 itt_addr) in its_encode_itt()
614 unsigned long itt_addr; in its_build_mapd_cmd() local