hat_updateattr
hat_updateattr(hat, addr, len, attr, HAT_SET_ATTR);
hat_updateattr(hat, addr, len, attr, HAT_CLR_ATTR);
hat_updateattr(hat, addr, len, attr, HAT_LOAD_ATTR);
hat_updateattr(hat, addr, len, vprot & HAT_PROT_MASK, HAT_LOAD_ATTR);