Searched refs:TOTAL_SWITCHER_PAGES (Results 1 – 3 of 3) sorted by relevance
66 * TOTAL_SWITCHER_PAGES, in map_switcher()77 for (i = 0; i < TOTAL_SWITCHER_PAGES; i++) { in map_switcher()91 switcher_addr = FIXADDR_START - (TOTAL_SWITCHER_PAGES+1)*PAGE_SIZE; in map_switcher()99 switcher_vma = __get_vm_area(TOTAL_SWITCHER_PAGES * PAGE_SIZE, in map_switcher()101 + (TOTAL_SWITCHER_PAGES+1) * PAGE_SIZE); in map_switcher()135 i = TOTAL_SWITCHER_PAGES; in map_switcher()153 for (i = 0; i < TOTAL_SWITCHER_PAGES; i++) in unmap_switcher()
798 for (i = 0; i < TOTAL_SWITCHER_PAGES; i++) { in allocate_switcher_mapping()
15 #define TOTAL_SWITCHER_PAGES (1 + 2 * nr_cpu_ids) macro