Symbol: its_cmd_mapc
sys/arm64/arm64/gicv3_its.c
371
static void its_cmd_mapc(device_t, struct its_col *, uint8_t);
sys/arm64/arm64/gicv3_its.c
967
its_cmd_mapc(dev, sc->sc_its_cols[cpuid], 1);