Searched refs:old_ttbr (Results 1 - 2 of 2) sorted by relevance

/barrelfish-master/kernel/arch/armv7/
H A Dpaging.c121 lpaddr_t old_ttbr = cp15_read_ttbr0(); local
122 if (ttbr != old_ttbr)
/barrelfish-master/kernel/arch/armv8/
H A Dpaging.c867 lpaddr_t old_ttbr = armv8_TTBR0_EL1_rd(NULL); local
868 if (ttbr != old_ttbr)

Completed in 82 milliseconds