Searched refs:page_shift_user32 (Results 1 – 7 of 7) sorted by relevance
183 unsigned int page_shift_user32; /* for page_size as seen by a 32-bit task */ variable391 page_shift_user32 = PAGE_MAX_SHIFT; in arm_init()
877 page_shift_user32 == SIXTEENK_PAGE_SHIFT) { in fourk_pager_data_request()883 assert(page_shift_user32 == SIXTEENK_PAGE_SHIFT); in fourk_pager_data_request()
260 extern unsigned int page_shift_user32;
743 page_shift_user32 == SIXTEENK_PAGE_SHIFT) { in vm_shared_region_create()1438 page_shift_user32 == SIXTEENK_PAGE_SHIFT) && in vm_shared_region_map_file_setup()
174 *((uint8_t*)(_COMM_PAGE_USER_PAGE_SHIFT_32 + _COMM_PAGE_RW_OFFSET)) = (uint8_t) page_shift_user32; in commpage_populate()
580 l = (long long) (1 << page_shift_user32); in sysctl_pagesize32()
502 vm_map_set_page_shift(map, page_shift_user32); in load_machfile()