Searched refs:page_user (Results 1 – 1 of 1) sorted by relevance
1182 unsigned int required_flags, disallowed_flags, page_user; in __page_fault_type() local1207 page_user = _PAGE_USER; in __page_fault_type()1218 page_user &= l4e_get_flags(l4e); in __page_fault_type()1227 page_user &= l3e_get_flags(l3e); in __page_fault_type()1238 page_user &= l2e_get_flags(l2e); in __page_fault_type()1249 page_user &= l1e_get_flags(l1e); in __page_fault_type()1252 if ( page_user ) in __page_fault_type()
Completed in 5 milliseconds