lazy page loading via page fault handling