Searched refs:page_shift_user32 (Results 1 – 7 of 7) sorted by relevance
202 unsigned int page_shift_user32; /* for page_size as seen by a 32-bit task */ variable436 page_shift_user32 = PAGE_MAX_SHIFT; in arm_init()
155 …t8_t*)(_COMM_PAGE_USER_PAGE_SHIFT_32_LEGACY + _COMM_PAGE_RW_OFFSET)) = (uint8_t) page_shift_user32; in commpage_populate()156 *((uint8_t*)(_COMM_PAGE_USER_PAGE_SHIFT_32 + _COMM_PAGE_RO_OFFSET)) = (uint8_t) page_shift_user32; in commpage_populate()
186 extern unsigned int page_shift_user32;
876 page_shift_user32 == SIXTEENK_PAGE_SHIFT) { in vm_shared_region_create()
245 unsigned int page_shift_user32; /* for page_size as seen by a 32-bit task */ variable864 page_shift_user32 = PAGE_MAX_SHIFT; in arm_init()
665 l = (long long) (1 << page_shift_user32); in sysctl_pagesize32()
756 vm_map_set_page_shift(map, page_shift_user32); in load_machfile()