Jason Thorpe wrote:

> How about results for just GENERIC?  LOCKDEBUG, especially, is going to
> skew the results.

no-veriexec-1:Process fork+exit: 186.2222 microseconds
no-veriexec-1:Process fork+execve: 690.7500 microseconds
no-veriexec-1:Process fork+/bin/sh -c: 2323.6667 microseconds

veriexec-nop-1:Process fork+exit: 191.7308 microseconds
veriexec-nop-1:Process fork+execve: 673.5000 microseconds
veriexec-nop-1:Process fork+/bin/sh -c: 2299.0000 microseconds

no-veriexec-2:Process fork+exit: 186.8621 microseconds
no-veriexec-2:Process fork+execve: 661.1250 microseconds
no-veriexec-2:Process fork+/bin/sh -c: 2286.3333 microseconds

veriexec-nop-2:Process fork+exit: 195.2963 microseconds
veriexec-nop-2:Process fork+execve: 688.5000 microseconds
veriexec-nop-2:Process fork+/bin/sh -c: 2308.0000 microseconds

no-veriexec-3:Process fork+exit: 186.5926 microseconds
no-veriexec-3:Process fork+execve: 680.6250 microseconds
no-veriexec-3:Process fork+/bin/sh -c: 2273.6667 microseconds

veriexec-nop-3:Process fork+exit: 194.5769 microseconds
veriexec-nop-3:Process fork+execve: 685.7500 microseconds
veriexec-nop-3:Process fork+/bin/sh -c: 2293.3333 microseconds

-e.

-- 
Elad Efrat