Searched refs:page_shift_user32 (Results 1 – 7 of 7) sorted by relevance
184 unsigned int page_shift_user32; /* for page_size as seen by a 32-bit task */ variable413 page_shift_user32 = PAGE_MAX_SHIFT; in arm_init()
176 …t8_t*)(_COMM_PAGE_USER_PAGE_SHIFT_32_LEGACY + _COMM_PAGE_RW_OFFSET)) = (uint8_t) page_shift_user32; in commpage_populate()177 *((uint8_t*)(_COMM_PAGE_USER_PAGE_SHIFT_32 + _COMM_PAGE_RO_OFFSET)) = (uint8_t) page_shift_user32; in commpage_populate()
844 page_shift_user32 == SIXTEENK_PAGE_SHIFT) { in fourk_pager_data_request()850 assert(page_shift_user32 == SIXTEENK_PAGE_SHIFT); in fourk_pager_data_request()
264 extern unsigned int page_shift_user32;
778 page_shift_user32 == SIXTEENK_PAGE_SHIFT) { in vm_shared_region_create()1522 page_shift_user32 == SIXTEENK_PAGE_SHIFT) && in vm_shared_region_map_file_setup()
586 l = (long long) (1 << page_shift_user32); in sysctl_pagesize32()
515 vm_map_set_page_shift(map, page_shift_user32); in load_machfile()