version 1.12, 2005/06/06 02:48:20 |
version 1.13, 2005/06/16 15:41:36 |
Line 64 __RCSID("$Id$\n$NetBSD$"); |
|
Line 64 __RCSID("$Id$\n$NetBSD$"); |
|
#include <sys/verified_exec.h> |
#include <sys/verified_exec.h> |
|
|
/* count of number of times device is open (we really only allow one open) */ |
/* count of number of times device is open (we really only allow one open) */ |
static unsigned veriexec_dev_usage; |
static unsigned int veriexec_dev_usage; |
|
|
struct veriexec_softc { |
struct veriexec_softc { |
DEVPORT_DEVICE veriexec_dev; |
DEVPORT_DEVICE veriexec_dev; |
Line 127 veriexecopen(dev_t dev __unused, int fla |
|
Line 127 veriexecopen(dev_t dev __unused, int fla |
|
p->p_pid, dev); |
p->p_pid, dev); |
#endif |
#endif |
|
|
|
if (suser(p->p_ucred, &p->p_acflag) != 0) |
|
return (EPERM); |
|
|
if (veriexec_dev_usage > 0) { |
if (veriexec_dev_usage > 0) { |
veriexec_dprintf(("Veriexec: load device already in use\n")); |
veriexec_dprintf(("Veriexec: load device already in use\n")); |
return(EBUSY); |
return(EBUSY); |