Lines Matching refs:page_set_flags
331 page_set_flags(startaddr, endaddr, PAGE_RESERVED);335 page_set_flags(startaddr, endaddr, PAGE_RESERVED);366 page_set_flags(startaddr, endaddr, PAGE_RESERVED);1771 void page_set_flags(target_ulong start, target_ulong end, int flags)