HitWBInvalidate_D

223

cache(HitWBInvalidate_D, 0, va);

241

cache(HitWBInvalidate_D, 0, va);

346

cache(HitWBInvalidate_D, 0, va);

352

cache(HitWBInvalidate_D, 0, va + sz - LS2F_CACHE_LINE);

144

cache(HitWBInvalidate_D, va);

398

cache(HitWBInvalidate_D, va);

404

cache(HitWBInvalidate_D, va + sz);