/src/sys/arch/epoc32/stand/e32boot/ldd/ |
e32boot.cpp | 169 TAny *mmu_disabled, *ttb; local in function:E32BootChannel::BootNetBSD 174 * ARMv3 can't read TTB from CP15 C1. 177 ttb = epoc32->GetPhysicalAddress(epoc32->GetTTB()); 213 * r9 ttb \ 397 * paddr vtop(vaddr, ttb) \ 503 ::"r"(ttb),
|
/src/sys/arch/hpcarm/hpcarm/ |
pxa2x0_hpc_machdep.c | 211 u_long ttb; local in function:read_ttb 213 __asm volatile("mrc p15, 0, %0, c2, c0, 0" : "=r" (ttb)); 215 return (pd_entry_t *)(ttb & ~((1 << 14) - 1));
|
/src/sys/arch/arm/include/ |
asan.h | 130 const paddr_t ttb = (paddr_t)(armreg_ttbr1_read() & ~mask); local in function:kasan_md_shadow_map_page 131 pd_entry_t * const pdep = (pd_entry_t *)KERN_PHYSTOV(ttb);
|
/src/sys/arch/evbarm/lubbock/ |
lubbock_machdep.c | 327 long ttb; local in function:read_ttb 329 __asm volatile("mrc p15, 0, %0, c2, c0, 0" : "=r" (ttb)); 332 return (pd_entry_t *)(ttb & ~((1<<14)-1));
|
/src/sys/arch/evbarm/g42xxeb/ |
g42xxeb_machdep.c | 315 long ttb; local in function:read_ttb 317 __asm volatile("mrc p15, 0, %0, c2, c0, 0" : "=r" (ttb)); 320 return (pd_entry_t *)(ttb & ~((1<<14)-1));
|
/src/sys/arch/evbarm/gumstix/ |
gumstix_machdep.c | 258 long ttb; local in function:read_ttb 260 __asm volatile("mrc p15, 0, %0, c2, c0, 0" : "=r" (ttb)); 262 return (pd_entry_t *)(ttb & ~((1<<14)-1));
|
/src/sys/arch/evbarm/mini2440/ |
mini2440_machdep.c | 401 long ttb; local in function:read_ttb 403 __asm volatile("mrc p15, 0, %0, c2, c0, 0" : "=r"(ttb)); 406 return (pd_entry_t *)(ttb & ~((1 << 14) - 1));
|
/src/sys/arch/evbarm/smdk2xx0/ |
smdk2410_machdep.c | 371 long ttb; local in function:read_ttb 373 __asm volatile("mrc p15, 0, %0, c2, c0, 0" : "=r"(ttb)); 376 return (pd_entry_t *)(ttb & ~((1 << 14) - 1));
|
/src/sys/arch/zaurus/zaurus/ |
machdep.c | 461 u_long ttb; local in function:read_ttb 463 __asm volatile("mrc p15, 0, %0, c2, c0, 0" : "=r" (ttb)); 465 return (pd_entry_t *)(ttb & ~((1 << 14) - 1));
|