Subject: Re: typed copyin/copyout
To: None <tech-kern@netbsd.org>
From: Jed Davis <jdev@panix.com>
List: tech-kern
Date: 09/21/2006 05:37:39
der Mouse <mouse@Rodents.Montreal.QC.CA> writes:

> Some years back, I added a PT_SYSCALL to ptrace().

Some months ago, so did Christos.  It's in netbsd-4.

-- 
let p = List.map (fun c k _-> k (print_char c))
in List.fold_right (fun f a _ -> f a) (List.map2
(fun f g k -> f (g k) ()) (p ['J';'d';'D';'v';'s'])
(p ['e';' ';'a';'i';'\n'])) ignore ()