No idea how to deal with handle_pagefault
Still no idea