change_page_attr
change_page_attr, (void *)action);
rc = change_page_attr(alias, alias + PAGE_SIZE, flags);
rc = change_page_attr(addr, end, flags);