Searched refs:gateway_page (Results 1 – 2 of 2) sorted by relevance
21 extern void *gateway_page;25 void **gateway_tls = (void **)(gateway_page + USER_GATEWAY_TLS + in set_gateway_tls()
38 void *gateway_page; variable62 set_pte(pte, pfn_pte(__pa(gateway_page) >> PAGE_SHIFT, PAGE_READONLY)); in insert_gateway_page()72 gateway_page = alloc_bootmem_pages(PAGE_SIZE); in user_gateway_init()91 gateway_page += (address & ~PAGE_MASK); in user_gateway_init()93 memcpy(gateway_page, &__user_gateway_start, in user_gateway_init()