Searched refs:page_shift_user32 (Results 1 – 7 of 7) sorted by relevance
198 unsigned int page_shift_user32; /* for page_size as seen by a 32-bit task */ variable432 page_shift_user32 = PAGE_MAX_SHIFT; in arm_init()
198 …t8_t*)(_COMM_PAGE_USER_PAGE_SHIFT_32_LEGACY + _COMM_PAGE_RW_OFFSET)) = (uint8_t) page_shift_user32; in commpage_populate()199 *((uint8_t*)(_COMM_PAGE_USER_PAGE_SHIFT_32 + _COMM_PAGE_RO_OFFSET)) = (uint8_t) page_shift_user32; in commpage_populate()
185 extern unsigned int page_shift_user32;
791 page_shift_user32 == SIXTEENK_PAGE_SHIFT) { in vm_shared_region_create()
216 unsigned int page_shift_user32; /* for page_size as seen by a 32-bit task */ variable741 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()