Home
last modified time | relevance | path

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

/xnu-11215.81.4/osfmk/arm64/
H A Darm_vm_init.c1765 uint64_t old_tcr, new_tcr; in arm_set_kernel_tbi() local
1767 old_tcr = new_tcr = get_tcr(); in arm_set_kernel_tbi()
1775 if (old_tcr != new_tcr) { in arm_set_kernel_tbi()
1786 uint64_t old_tcr, new_tcr; in arm_set_user_tbi() local
1788 old_tcr = new_tcr = get_tcr(); in arm_set_user_tbi()
1791 if (old_tcr != new_tcr) { in arm_set_user_tbi()