On 3/17/24 6:18 PM, Heinrich Schuchardt wrote:
[...]
Shouldn't we convert to unsigned long long for printing.
Printing phys_addr_t always confuses me. I was under the impression that
turning the value into uintptr_t (platform pointer type represented as
integer) and then actually using that as a pointer for printing should
not suffer from any type width problems. Does it ?
As you already remarked on LPAE this may happen.
Though you may not be able load initrd outside the address range of
void* the variables might exceed it.
ACK, thanks for the confirmation.