Added function definitions for register_vmpool.
Added address checks in page fault handler