support page table infrastructure