ctxid2asid
__set_bit(ctxid2asid(asid), asid_map);
u64 newasid = asid2ctxid(ctxid2asid(asid), generation);
if (!__test_and_set_bit(ctxid2asid(asid), asid_map))
__set_bit(ctxid2asid(asid), pinned_asid_map);
asid = ctxid2asid(asid);
__clear_bit(ctxid2asid(asid), pinned_asid_map);