Searched refs:page_set_flags (Results 1 – 2 of 2) sorted by relevance
741 void page_set_flags(target_ulong start, target_ulong end, int flags);
281 page_set_flags(startaddr & TARGET_PAGE_MASK, in page_init()322 page_set_flags(addr & TARGET_PAGE_MASK, in page_find_alloc()2178 void page_set_flags(target_ulong start, target_ulong end, int flags) in page_set_flags() function