memory reported to OS

[Gin]

Is it mandatory to report Reserved Memory region to the OS? For example,
the IOAPICs memory-mapped addresses? Would that be a problem if Linux
kernel didn't see it be claimed as RESERVED?

It seems Linuxbios doesn't claim any memory regions as RESERVED.

gin