HME1BLK_SZ
sfmmu1_cache = kmem_cache_create("sfmmu1_cache", HME1BLK_SZ,
NULL, (void *)HME1BLK_SZ,
hme1blk_sz = roundup(HME1BLK_SZ, sizeof (int64_t));
char h1[HME1BLK_SZ];
hme1blk_sz = roundup(HME1BLK_SZ, sizeof (int64_t));