US8612953B2 - Compiler Driven Mechanism for Registration and Deregistration of Memory Pages