nvhe_percpu_size
unsigned long size = nvhe_percpu_size();
memcpy(page_addr, CHOOSE_NVHE_SYM(__per_cpu_start), nvhe_percpu_size());
char *percpu_end = percpu_begin + nvhe_percpu_size();