Re: [LinuxBIOS] Disabled device help

[Segher Boessenkool]

> 		res->end |= (unsigned long)szhi<<32;
> 		res->end |= ((unsigned
>
> long)szhi<<32|0xffffffffUL);

Should read

res->end |= ((uint64_t)szhi << 32) | 0xffffffff;

("long" is 32-bits on many platforms).

Segher