Searched refs:gic_r_read_8 (Results 1 – 3 of 3) sorted by relevance
113 uint64_t gic_r_read_8(device_t, bus_size_t);
645 tmp = gic_r_read_8(gicv3, GICR_PROPBASER); in its_init_cpu_lpi()674 tmp = gic_r_read_8(gicv3, GICR_PENDBASER); in its_init_cpu_lpi()727 target = GICR_TYPER_CPUNUM(gic_r_read_8(gicv3, GICR_TYPER)) << in its_init_cpu()
214 gic_r_read_8(device_t dev, bus_size_t offset) in gic_r_read_8() function