Changed page table operations to use ERT. Everything works
fine after the modification. A few cases not tested yet. Also, need to
get rid of some warnings (unused functions).