Searched refs:scratch_page (Results 1 – 2 of 2) sorted by relevance
187 void *scratch_page; member
4250 pmap_cpu_data_array[cpu_num].cpu_data.scratch_page = (void*)phystokv(avail_start); in pmap_cpu_data_array_init()