Changeset View
Changeset View
Standalone View
Standalone View
head/sys/arm64/arm64/gic_v3.c
| Show First 20 Lines • Show All 1,179 Lines • ▼ Show 20 Lines | for (i = 0; i < sc->gic_redists.nregions; i++) { | ||||
| do { | do { | ||||
| typer = bus_read_8(&r_res, GICR_TYPER); | typer = bus_read_8(&r_res, GICR_TYPER); | ||||
| if ((typer >> GICR_TYPER_AFF_SHIFT) == aff) { | if ((typer >> GICR_TYPER_AFF_SHIFT) == aff) { | ||||
| KASSERT(sc->gic_redists.pcpu[cpuid] != NULL, | KASSERT(sc->gic_redists.pcpu[cpuid] != NULL, | ||||
| ("Invalid pointer to per-CPU redistributor")); | ("Invalid pointer to per-CPU redistributor")); | ||||
| /* Copy res contents to its final destination */ | /* Copy res contents to its final destination */ | ||||
| sc->gic_redists.pcpu[cpuid]->res = r_res; | sc->gic_redists.pcpu[cpuid]->res = r_res; | ||||
| sc->gic_redists.pcpu[cpuid]->lpi_enabled = false; | |||||
| if (bootverbose) { | if (bootverbose) { | ||||
| device_printf(sc->dev, | device_printf(sc->dev, | ||||
| "CPU%u Re-Distributor has been found\n", | "CPU%u Re-Distributor has been found\n", | ||||
| cpuid); | cpuid); | ||||
| } | } | ||||
| return (0); | return (0); | ||||
| } | } | ||||
| ▲ Show 20 Lines • Show All 79 Lines • Show Last 20 Lines | |||||