Lines Matching +full:vm +full:- +full:map

1 /* SPDX-License-Identifier: GPL-2.0-only */
14  * ITSList mechanism to perform inter-ITS synchronization.
35 	/* per-vPE VLPI tracking */
67 	 * vPE and vLPI operations using vpe->col_idx.
76 	/* Unique (system-wide) VPE identifier */
88  * @vm:		Pointer to the GICv4 notion of a VM
95 	struct its_vm		*vm;  member
117 		struct its_vlpi_map	*map;  member
131 int its_alloc_vcpu_irqs(struct its_vm *vm);
132 void its_free_vcpu_irqs(struct its_vm *vm);
137 int its_map_vlpi(int irq, struct its_vlpi_map *map);
138 int its_get_vlpi(int irq, struct its_vlpi_map *map);