On Tue, Jul 17, 2018 at 11:12:41AM +0000, Ryo Shimizu wrote: > Module Name: src > Committed By: ryo > Date: Tue Jul 17 11:12:41 UTC 2018 > > Modified Files: > src/sys/arch/aarch64/aarch64: aarch64_machdep.c > > Log Message: > kern_vtopdiff is stored in fdt_start.S. that is before cleaning bss. > decl "kern_vtopdiff = 0" for keep in .data section.
That sounds really fragile. Put it explicitly into .data via section attribute? Joerg
