HAT_MAP
hat_map(seg->s_as->a_hat, seg->s_base, seg->s_size, HAT_MAP);
hat_map(seg->s_as->a_hat, seg->s_base, seg->s_size, HAT_MAP);
hat_map(as->a_hat, seg->s_base, seg->s_size, HAT_MAP);
hat_map(as->a_hat, seg->s_base, seg->s_size, HAT_MAP);