CPUINFO_VA
#define cpuinfo (*(struct cpu_info *)CPUINFO_VA)
cpus[0] = (struct cpu_info *)CPUINFO_VA;
cpuinfo_data = (uint8_t *)CPUINFO_VA;
(((CPUINFO_VA & (align - 1)) + align - sva) & (align - 1));
PMAP_BOOTSTRAP_VA2PA(CPUINFO_VA + off);
cpus[0] = (struct cpu_info *)CPUINFO_VA;
vr = VA_VREG(CPUINFO_VA);
vs = VA_VSEG(CPUINFO_VA);
vpg = VA_VPG(CPUINFO_VA);
#define CURCPU_INT() ((struct cpu_info *)CPUINFO_VA)
#define CURLWP (CPUINFO_VA + CI_CURLWP)
#define CPCB (CPUINFO_VA + CI_CPCB)
#define FPLWP (CPUINFO_VA + CI_FPLWP)
cpi = (struct cpu_info *)(va0 + CPUINFO_VA - INTSTACK);
pa += CPUINFO_VA - INTSTACK;
char *v = (char*)CPUINFO_VA;
cpus = (struct cpu_info *)(intstk + CPUINFO_VA - INTSTACK);
kcpu->cpubase = (uint64_t)CPUINFO_VA;