hma_svm_asid_t
hma_svm_asid_t hma_asid;
hma_svm_asid_t *cpu_asid = &hma_svm_cpu(i)->hsc_asid;
hma_svm_asid_init(hma_svm_asid_t *vcp)
hma_svm_asid_update(hma_svm_asid_t *vcp, boolean_t flush_by_asid,
hma_svm_asid_t *hcp = &(hma_svm_cpu(CPU->cpu_seqid)->hsc_asid);
hma_svm_asid_t hsc_asid;
extern void hma_svm_asid_init(hma_svm_asid_t *);
extern uint8_t hma_svm_asid_update(hma_svm_asid_t *, boolean_t, boolean_t);