Lines Matching refs:Ijk_FlushDCache
2082 Re Ijk_InvalICache and Ijk_FlushDCache: the guest state _must_ have2088 kind Ijk_InvalICache or Ijk_FlushDCache.2091 the requested range. Ijk_FlushDCache requests flushing of the D2122 Ijk_FlushDCache