hma_svm_cpu_t
static __inline hma_svm_cpu_t *
hma_svm_cpu_t *svm_cpu = hma_svm_cpu(CPU->cpu_seqid);
hma_svm_cpu_t *svm_cpu = hma_svm_cpu(CPU->cpu_seqid);
hma_svm_cpu_t *svm_cpu = hma_svm_cpu(CPU->cpu_seqid);
hma_svm_cpu_t *svm_cpu = hma_svm_cpu(CPU->cpu_seqid);
hma_svm_cpu_t *svm_cpu = hma_svm_cpu(CPU->cpu_seqid);
hma_svm_cpu_t *svm_cpu = hma_svm_cpu(id);