A64_POOL_SIZE
for (i = 0; i < A64_POOL_SIZE; i++)
static struct mtx a64_mtx_pool[A64_POOL_SIZE];
(&a64_mtx_pool[(pmap_kextract((vm_offset_t)p) / CACHE_ALIGN) % (A64_POOL_SIZE)])