Searched refs:page_shift_user32 (Results 1 – 7 of 7) sorted by relevance
195 unsigned int page_shift_user32; /* for page_size as seen by a 32-bit task */ variable429 page_shift_user32 = PAGE_MAX_SHIFT; in arm_init()
154 …t8_t*)(_COMM_PAGE_USER_PAGE_SHIFT_32_LEGACY + _COMM_PAGE_RW_OFFSET)) = (uint8_t) page_shift_user32; in commpage_populate()155 *((uint8_t*)(_COMM_PAGE_USER_PAGE_SHIFT_32 + _COMM_PAGE_RO_OFFSET)) = (uint8_t) page_shift_user32; in commpage_populate()
184 extern unsigned int page_shift_user32;
791 page_shift_user32 == SIXTEENK_PAGE_SHIFT) { in vm_shared_region_create()
219 unsigned int page_shift_user32; /* for page_size as seen by a 32-bit task */ variable780 page_shift_user32 = PAGE_MAX_SHIFT; in arm_init()
659 l = (long long) (1 << page_shift_user32); in sysctl_pagesize32()
511 vm_map_set_page_shift(map, page_shift_user32); in load_machfile()