Lines Matching defs:base
22 unsigned int gicd_read_itargetsr(uintptr_t base, unsigned int id)
25 return mmio_read_32(base + GICD_ITARGETSR + (n << 2));
32 unsigned int gicd_read_cpendsgir(uintptr_t base, unsigned int id)
35 return mmio_read_32(base + GICD_CPENDSGIR + (n << 2));
42 unsigned int gicd_read_spendsgir(uintptr_t base, unsigned int id)
45 return mmio_read_32(base + GICD_SPENDSGIR + (n << 2));
52 void gicd_write_itargetsr(uintptr_t base, unsigned int id, unsigned int val)
55 mmio_write_32(base + GICD_ITARGETSR + (n << 2), val);
62 void gicd_write_cpendsgir(uintptr_t base, unsigned int id, unsigned int val)
65 mmio_write_32(base + GICD_CPENDSGIR + (n << 2), val);
72 void gicd_write_spendsgir(uintptr_t base, unsigned int id, unsigned int val)
75 mmio_write_32(base + GICD_SPENDSGIR + (n << 2), val);
81 unsigned int gicv2_get_cpuif_id(uintptr_t base)
85 val = gicd_read_itargetsr(base, 0);