Home
last modified time | relevance | path

Searched refs:gic_r_read_4 (Results 1 – 3 of 3) sorted by relevance

/f-stack/freebsd/arm64/arm64/
H A Dgic_v3_var.h112 uint32_t gic_r_read_4(device_t, bus_size_t);
H A Dgicv3_its.c628 ctlr = gic_r_read_4(gicv3, GICR_CTLR); in its_init_cpu_lpi()
689 ctlr = gic_r_read_4(gicv3, GICR_CTLR); in its_init_cpu_lpi()
711 if ((gic_r_read_4(gicv3, GICR_TYPER) & GICR_TYPER_PLPIS) == 0) in its_init_cpu()
H A Dgic_v3.c203 gic_r_read_4(device_t dev, bus_size_t offset) in gic_r_read_4() function