Searched refs:sc_lpi_pool (Results 1 – 3 of 3) sorted by relevance
83 vmem_t *sc_lpi_pool; member
359 KASSERT(its->its_gic->sc_lpi_pool != NULL); in gicv3_its_device_map() 361 if (vmem_alloc(its->its_gic->sc_lpi_pool, 1, VM_INSTANTFIT|VM_SLEEP, &n) != 0) in gicv3_its_device_map() 377 KASSERT(its->its_gic->sc_lpi_pool != NULL); in gicv3_its_device_map() 384 vmem_free(its->its_gic->sc_lpi_pool, lpi - its->its_pic->pic_irqbase, 1); in gicv3_its_device_map()
911 sc->sc_lpi_pool = vmem_create("gicv3-lpi", 0, sc->sc_lpi.pic_maxsources, in gicv3_init()913 if (sc->sc_lpi_pool == NULL) in gicv3_init()