Lines Matching refs:TBIS
1101 TBIS(sva);
1408 TBIS(va);
1491 TBIS(va);
1563 TBIS(va);
1884 TBIS((vaddr_t)CADDR1);
1890 TBIS((vaddr_t)CADDR1);
1944 TBIS((vaddr_t)CADDR1);
1947 TBIS((vaddr_t)CADDR2);
1953 TBIS((vaddr_t)CADDR1);
1956 TBIS((vaddr_t)CADDR2);
2159 TBIS(va);
2510 TBIS(va);
Indexes created Sat Oct 25 07:10:08 GMT 2025