Home | Sort by: relevance | last modified time | path |
/src/sys/arch/evbarm/gemini/ | |
gemini_machdep.c | 990 paddr_t l1_pa = kernel_l1pt.pv_pa; local in function:setup_real_page_tables 1180 printf("switching to new L1 page table @%#lx...", l1_pa); 1184 cpu_setttb(l1_pa, true); |
gemini_machdep.c | 990 paddr_t l1_pa = kernel_l1pt.pv_pa; local in function:setup_real_page_tables 1180 printf("switching to new L1 page table @%#lx...", l1_pa); 1184 cpu_setttb(l1_pa, true); |