Searched refs:sfmmup_pgcnt (Results 1 – 3 of 3) sorted by relevance
80 void vtag_flush_pgcnt_tl1(uint64_t addr, uint64_t sfmmup_pgcnt);
76 vtag_flush_pgcnt_tl1(uint64_t addr, uint64_t sfmmup_pgcnt) in vtag_flush_pgcnt_tl1() argument
82 void vtag_flush_pgcnt_tl1(uint64_t addr, uint64_t sfmmup_pgcnt);