HAT_LOAD_ATTR
if (what == HAT_SET_ATTR || what == HAT_LOAD_ATTR) {
if (what == HAT_LOAD_ATTR) {
hat_updateattr(hat, addr, len, attr, HAT_LOAD_ATTR);
hat_updateattr(hat, addr, len, vprot & HAT_PROT_MASK, HAT_LOAD_ATTR);