HomeSort by: relevance | last modified time | path
    Searched refs:kern_vtopdiff (Results 1 - 11 of 11) sorted by relevancy

  /src/sys/arch/riscv/include/
machdep.h 45 extern unsigned long kern_vtopdiff;
47 return va - kern_vtopdiff;
53 extern unsigned long kern_vtopdiff;
55 return pa + kern_vtopdiff;
  /src/sys/arch/arm/include/arm32/
machdep.h 57 extern u_long kern_vtopdiff;
83 return va - kern_vtopdiff;
89 return pa + kern_vtopdiff;
  /src/sys/arch/aarch64/include/
machdep.h 44 extern u_long kern_vtopdiff;
46 return va - kern_vtopdiff;
52 extern u_long kern_vtopdiff;
54 return pa + kern_vtopdiff;
  /src/sys/arch/aarch64/aarch64/
start.S 127 /* address of kern_vtopdiff (relative) */
128 adrl x8, kern_vtopdiff
129 str x10, [x8] /* kern_vtopdiff = start(virt) - start(phys) */
aarch64_machdep.c 111 u_long kern_vtopdiff __attribute__((__section__(".data"))); variable
318 "kern_vtopdiff = 0x%016lx\n"
340 kern_vtopdiff,
locore.S 279 adrl x0, kern_vtopdiff
320 adrl x0, kern_vtopdiff
475 adrl x0, kern_vtopdiff
  /src/sys/arch/arm/arm32/
arm32_kvminit.c 204 u_long kern_vtopdiff __attribute__((__section__(".data"))); variable
213 * FDT/generic start fills in kern_vtopdiff early
219 VPRINTF("%s: kern_vtopdiff=%#lx\n", __func__, kern_vtopdiff);
231 kern_vtopdiff = KERNEL_BASE_VOFFSET;
234 kern_vtopdiff = KERNEL_BASE + memstart;
  /src/sys/arch/evbarm/gemini/
gemini_machdep.c 238 u_long kern_vtopdiff; variable
606 kern_vtopdiff = KERNEL_BASE - GEMINI_DRAM_BASE;
  /src/sys/arch/riscv/riscv/
riscv_machdep.c 131 unsigned long kern_vtopdiff __attribute__((__section__(".data"))); variable
864 DPRINTF(kern_vtopdiff);
locore.S 111 * keep in s8. Store this in kern_vtopdiff once the MMU is on.
384 * Store kern_vtopdiff (the difference between the physical
388 * XXX address of kern_vtopdiff before the MMU is enabled
391 PTR_LA t0, _C_LABEL(kern_vtopdiff)
392 PTR_S s8, 0(t0) /* kern_vtopdiff = start(virt) - start(phys) */
457 // s8 is kern_vtopdiff
  /src/sys/arch/arm/arm/
armv6_start.S 208 ldr R_TMP2, =kern_vtopdiff

Completed in 40 milliseconds