scmi_virtio_p2a_pool_init
sc->p2a_pool = scmi_virtio_p2a_pool_init(dev, sc->evtq_sz);
static void *scmi_virtio_p2a_pool_init(device_t, unsigned int);