hma_svm_cpu
hma_svm_asid_t *cpu_asid = &hma_svm_cpu(i)->hsc_asid;
struct hma_svm_cpu svm;
hma_svm_asid_t *hcp = &(hma_svm_cpu(CPU->cpu_seqid)->hsc_asid);
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);
const uintptr_t hsave_pa = hma_svm_cpu(id)->hsc_hsave_pa;
hma_svm_cpu_t *svm_cpu = hma_svm_cpu(id);