On Jul 18, 12:04am, ryo%nerv.org@localhost (Ryo Shimizu) wrote: -- Subject: Re: CVS commit: src/sys/arch/aarch64/aarch64 | kern_vtopdiff has already been fixed. (thanks christos@) | u_int uboot_args[4] (in various file :-P) has same problem. | Should I fix it? [Y/y] I just did. christos