thunk_mprotect
int thunk_mprotect(void *addr, size_t len, int prot);
ret = thunk_mprotect((void *) trunc_page(addr), PAGE_SIZE,
err = thunk_mprotect((void *) kmem_k_start, kmem_k_length,