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)
