On Tue, Jan 08, 2013 at 01:38:48PM -0500, Christoffer Dall wrote: > + pr_info("Setting up static %sidentity map for 0x%llx - 0x%llx\n", > + prot ? "HYP " : "", > + (long long)addr, (long long)end); There's no point using 0x%llx and casting to 64-bit longs if the arguments are always going to be 32-bit.