Documentation claims that these insert the lower 32-bits leaving the upper bits unaffected. Hardware testing proves that the upper 32-bits of the base registers are zero'd. Additional documentation also concurs that this is the case.
Ryan Houdek
3f08d8b691