Lines Matching refs:addr
26 gpa_t addr, unsigned int len)
31 switch (addr & 0x0c) {
53 gpa_t addr, unsigned int len,
59 switch (addr & 0x0c) {
73 gpa_t addr, unsigned int len,
79 switch (addr & 0x0c) {
81 reg = vgic_mmio_read_v2_misc(vcpu, addr, len);
106 vgic_mmio_write_v2_misc(vcpu, addr, len, val);
111 gpa_t addr, unsigned int len,
115 vgic_mmio_write_group(vcpu, addr, len, val);
121 gpa_t addr, unsigned int len,
163 gpa_t addr, unsigned int len)
165 u32 intid = VGIC_ADDR_TO_INTID(addr, 8);
181 gpa_t addr, unsigned int len,
184 u32 intid = VGIC_ADDR_TO_INTID(addr, 8);
209 gpa_t addr, unsigned int len)
211 u32 intid = addr & 0x0f;
226 gpa_t addr, unsigned int len,
229 u32 intid = addr & 0x0f;
248 gpa_t addr, unsigned int len,
251 u32 intid = addr & 0x0f;
276 gpa_t addr, unsigned int len)
283 switch (addr & 0xff) {
323 gpa_t addr, unsigned int len,
330 switch (addr & 0xff) {
363 gpa_t addr, unsigned int len)
367 n = (addr >> 2) & 0x3;
388 gpa_t addr, unsigned int len,
393 n = (addr >> 2) & 0x3;
503 gpa_t addr;
511 addr = reg_attr.addr;
529 if (addr & 3)
532 region = vgic_get_mmio_region(vcpu, &iodev, addr, sizeof(u32));