Home
last modified time | relevance | path

Searched refs:COOKIE_TO_ASID (Results 1 – 1 of 1) sorted by relevance

/freebsd/sys/arm64/arm64/
H A Dpmap.c429 #define COOKIE_TO_ASID(cookie) ((int)(cookie)) macro
1780 r |= ASID_TO_OPERAND(COOKIE_TO_ASID(pmap->pm_cookie)); in pmap_s1_invalidate_page()
1824 start = end = ASID_TO_OPERAND(COOKIE_TO_ASID(pmap->pm_cookie)); in pmap_s1_invalidate_strided()
1879 r = ASID_TO_OPERAND(COOKIE_TO_ASID(pmap->pm_cookie)); in pmap_s1_invalidate_all()
2909 asid = COOKIE_TO_ASID(pmap->pm_cookie); in pmap_release()
8747 asid = COOKIE_TO_ASID(curpmap->pm_cookie); in pmap_reset_asid_set()
8809 ttbr |= ASID_TO_OPERAND(COOKIE_TO_ASID(pmap->pm_cookie)); in pmap_to_ttbr0()