Searched refs:ASID (Results 1 – 2 of 2) sorted by relevance
2031 uint64_t ASID:16; in _cpsrctx_do_test() member2079 ctx.ASID = asid; in _cpsrctx_do_test()2171 uint64_t ASID:16; in _specres_do_test_std() member2209 ctx.ASID = asid; in _specres_do_test_std()
1517 T_ASSERT_FALSE(seen_asid, "check that we haven't yet seen an ASID");1523 T_ASSERT_TRUE(seen_asid, "check that we have seen an ASID");1537 T_LOG("attempting to take stackshot with ASID and page table flags");