| /src/sys/arch/arm/arm32/ |
| arm32_machdep.c | 791 cpu_setttb(pmap_kernel()->pm_l1_pa , KERNEL_PID);
794 cpu_setttb(pmap_kernel()->pm_l1->l1_physaddr, true);
|
| arm32_kvminit.c | 1081 cpu_setttb(l1pt_pa, KERNEL_PID);
1084 cpu_setttb(l1pt_pa, true);
|
| /src/sys/arch/arm/include/ |
| cpufunc.h | 225 #define cpu_setttb(t, f) cpufuncs.cf_setttb(t, f) macro
|
| /src/sys/arch/epoc32/epoc32/ |
| machdep.c | 394 cpu_setttb(kernel_l1pt.pv_pa, true);
|
| /src/sys/arch/evbarm/imx31/ |
| imx31lk_machdep.c | 635 cpu_setttb(kernel_l1pt.pv_pa, true);
|
| /src/sys/arch/evbarm/ixm1200/ |
| ixm1200_machdep.c | 581 cpu_setttb(kernel_l1pt.pv_pa, true);
594 * dirty data in the cache. This will have happened in cpu_setttb()
|
| /src/sys/arch/hpcarm/hpcarm/ |
| sa11x0_hpc_machdep.c | 515 cpu_setttb(kernel_l1pt.pv_pa, true);
|
| pxa2x0_hpc_machdep.c | 569 cpu_setttb(kernel_l1pt.pv_pa, true);
|
| /src/sys/arch/evbarm/hdl_g/ |
| hdlg_machdep.c | 514 cpu_setttb(kernel_l1pt.pv_pa, true);
|
| /src/sys/arch/evbarm/iq80321/ |
| iq80321_machdep.c | 660 cpu_setttb(kernel_l1pt.pv_pa, true);
|
| /src/sys/arch/evbarm/ixdp425/ |
| ixdp425_machdep.c | 644 cpu_setttb(kernel_l1pt.pv_pa, true);
|
| /src/sys/arch/evbarm/nslu2/ |
| nslu2_machdep.c | 705 cpu_setttb(kernel_l1pt.pv_pa, true);
|
| /src/sys/arch/evbarm/adi_brh/ |
| brh_machdep.c | 614 cpu_setttb(kernel_l1pt.pv_pa, true);
|
| /src/sys/arch/evbarm/iq80310/ |
| iq80310_machdep.c | 634 cpu_setttb(kernel_l1pt.pv_pa, true);
|
| /src/sys/arch/evbarm/smdk2xx0/ |
| smdk2800_machdep.c | 676 cpu_setttb(kernel_l1pt.pv_pa, true);
|
| /src/sys/arch/evbarm/tsarm/ |
| tsarm_machdep.c | 647 cpu_setttb(kernel_l1pt.pv_pa, true);
|
| /src/sys/arch/evbarm/viper/ |
| viper_machdep.c | 692 cpu_setttb(kernel_l1pt.pv_pa, true);
|
| /src/sys/arch/evbarm/g42xxeb/ |
| g42xxeb_machdep.c | 454 * our pagetable by cpu_setttb().
752 cpu_setttb(kernel_l1pt.pv_pa, true);
|
| /src/sys/arch/evbarm/npwr_fc/ |
| npwr_fc_machdep.c | 643 cpu_setttb(kernel_l1pt.pv_pa, true);
|
| /src/sys/arch/acorn32/acorn32/ |
| rpc_machdep.c | 793 cpu_setttb(kernel_l1pt.pv_pa, true);
798 * dirty data in the cache. This will have happened in cpu_setttb()
|
| /src/sys/arch/acorn32/eb7500atx/ |
| eb7500atx_machdep.c | 737 cpu_setttb(kernel_l1pt.pv_pa, true);
742 * dirty data in the cache. This will have happened in cpu_setttb()
|
| /src/sys/arch/iyonix/iyonix/ |
| iyonix_machdep.c | 695 cpu_setttb(kernel_l1pt.pv_pa, true);
|
| /src/sys/arch/arm/at91/ |
| at91bus.c | 441 cpu_setttb(kernel_l1pt.pv_pa, true);
|
| /src/sys/arch/evbarm/armadillo/ |
| armadillo9_machdep.c | 749 cpu_setttb(kernel_l1pt.pv_pa, true);
|
| /src/sys/arch/evbarm/iyonix/ |
| iyonix_machdep.c | 723 cpu_setttb(kernel_l1pt.pv_pa, true);
|
