read_c0_taglo
data = read_c0_taglo();
if (!read_c0_taglo())
if (!read_c0_taglo())
tag[0].lo = read_c0_taglo(); /* PA[35:12] */
tag[1].lo = read_c0_taglo(); /* PA[35:12] */
tag[0].lo = read_c0_taglo(); /* PA[35:18], VA[13:12] */
tag[1].lo = read_c0_taglo(); /* PA[35:18], VA[13:12] */
tag[0].lo = read_c0_taglo(); /* PA[35:12] */
tag[1].lo = read_c0_taglo(); /* PA[35:12] */