CACHEOP_TX3920_HIT_INV
CACHE_TX39_D|CACHEOP_TX3920_HIT_INV);
cache_op_tx39_line(va, CACHE_TX39_D|CACHEOP_TX3920_HIT_INV);