Don't use a mutex in page fault handler