allocate_user_vsid
return (allocate_user_vsid(pm,
(void)allocate_user_vsid(pm, esid, 0);
uint64_t allocate_user_vsid(pmap_t pm, uint64_t esid, int large);