vax1k_map_readvn  131 compat/vax1k/vax1k_exec.c         NEW_VMCMD(&epp->ep_vmcmds, vax1k_map_readvn,
vax1k_map_readvn   47 compat/vax1k/vax1k_exec.h int	vax1k_map_readvn(struct proc *, struct exec_vmcmd *);