HVC_BOOT_ARRAY_SIZE
if (HVC_BOOT_ARRAY_SIZE >= num_possible_cpus())
ncpus = num_possible_cpus() - HVC_BOOT_ARRAY_SIZE;
if (cpu < HVC_BOOT_ARRAY_SIZE)
p = hvclock_mem + cpu - HVC_BOOT_ARRAY_SIZE;
hv_clock_boot[HVC_BOOT_ARRAY_SIZE] __bss_decrypted __aligned(PAGE_SIZE);