Searched refs:page_set_flags (Results 1 – 2 of 2) sorted by relevance
761 void page_set_flags(target_ulong start, target_ulong end, int flags);
280 page_set_flags(startaddr & TARGET_PAGE_MASK, in page_init()321 page_set_flags(addr & TARGET_PAGE_MASK, in page_find_alloc()2216 void page_set_flags(target_ulong start, target_ulong end, int flags) in page_set_flags() function