support for page fault handling