hat_get_mapped_size
size_t hat_get_mapped_size(struct hat *);
chunk = hat_get_mapped_size(as->a_hat);
return ((size_t)btop(hat_get_mapped_size(as->a_hat)));
ASSERT(hat_get_mapped_size(ism_hat) == 0);