carta

mpt_add_sge_64bit(9) on Linux

The text d1dac7264a50, as Debian 7 (Wheezy) shipped it.

Place a simple 64 bit SGE at address pAddr.

mpt_add_sge_64bit(9) on Linux now