Index: kernel/arch/sparc64/src/mm/tsb.c
===================================================================
--- kernel/arch/sparc64/src/mm/tsb.c	(revision 410ed0de5f795378bddd39291f618013b459d912)
+++ kernel/arch/sparc64/src/mm/tsb.c	(revision aca95f6bab0c00a09f8e69569a6f138fa736287f)
@@ -101,5 +101,7 @@
 	tsb->data.pfn = t->frame >> PAGE_WIDTH;
 	tsb->data.cp = t->c;
+#ifdef CONFIG_VIRT_IDX_CACHE
 	tsb->data.cv = t->c;
+#endif /* CONFIG_VIRT_IDX_CACHE */
 	tsb->data.p = t->k;		/* p as privileged */
 	tsb->data.v = t->p;
@@ -141,5 +143,7 @@
 	tsb->data.pfn = t->frame >> PAGE_WIDTH;
 	tsb->data.cp = t->c;
+#ifdef CONFIG_VIRT_IDX_CACHE
 	tsb->data.cv = t->c;
+#endif /* CONFIG_VIRT_IDX_CACHE */
 	tsb->data.p = t->k;		/* p as privileged */
 	tsb->data.w = ro ? false : t->w;