fix bugs

    original page table cache push/pop is wrong