PER_CPU_DATA_SIZE
memset((void *)base_gpa, def_p, PER_CPU_DATA_SIZE);
memcmp_g(base_gpa, def_p, PER_CPU_DATA_SIZE);
guest_sync_shared(base_gpa, PER_CPU_DATA_SIZE, def_p, init_p);
memcmp_g(base_gpa, init_p, PER_CPU_DATA_SIZE);
if (gpa + size < base_gpa + PER_CPU_DATA_SIZE)
(base_gpa + PER_CPU_DATA_SIZE) - (gpa + size));
guest_map_shared(base_gpa, PER_CPU_DATA_SIZE, true);
guest_map_private(base_gpa, PER_CPU_DATA_SIZE, false);
guest_punch_hole(base_gpa, PER_CPU_DATA_SIZE);
memset((void *)base_gpa, init_p, PER_CPU_DATA_SIZE);
memcmp_g(base_gpa, init_p, PER_CPU_DATA_SIZE);
const size_t per_cpu_size = align_up(PER_CPU_DATA_SIZE, alignment);
virt_map(vm, gpa, gpa, PER_CPU_DATA_SIZE / vm->page_size);