9 //PREFETCH [ Preg ] ; /* indexed (a) */
19 //PREFETCH [ Preg ++ ] ; /* indexed, post increment (a) */
29 //FLUSH [ Preg ] ; /* indexed (a) */
38 //FLUSH [ Preg ++ ] ; /* indexed, post increment (a) */
48 //FLUSHINV [ Preg ] ; /* indexed (a) */
58 //FLUSHINV [ Preg ++ ] ; /* indexed, post increment (a) */
68 //IFLUSH [ Preg ] ; /* indexed (a) */
78 //IFLUSH [ Preg ++ ] ; /* indexed, post increment (a) */