Home
last modified time | relevance | path

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

/freebsd/sys/arm64/arm64/
H A Dgicv3_its.c269 void *sc_pend_base[MAXCPU]; member
809 sc->sc_pend_base[i] = contigmalloc( in gicv3_its_pendtables_init()
816 cpu_dcache_wb_range(sc->sc_pend_base[i], in gicv3_its_pendtables_init()
883 xbaser = vtophys(sc->sc_pend_base[cpuid]) | in its_init_cpu_lpi()
914 KASSERT(sc->sc_pend_base[cpuid] == NULL, in its_init_cpu_lpi()
921 sc->sc_pend_base[cpuid] = (void *)PHYS_TO_DMAP(tmp); in its_init_cpu_lpi()
928 vtophys(sc->sc_pend_base[cpuid]), cpuid); in its_init_cpu_lpi()