39a40,45
> //These values are provided to a linux process by the kernel, so we
> //need to keep them around.
> Addr _programHeaderTable;
> uint16_t _programHeaderSize;
> uint16_t _programHeaderCount;
>
54a61,63
> Addr programHeaderTable() {return _programHeaderTable;}
> uint16_t programHeaderSize() {return _programHeaderSize;}
> uint16_t programHeaderCount() {return _programHeaderCount;}