add os_pagefault function