Searched refs:VERIEXEC (Results 1 – 3 of 3) sorted by relevance
| /freebsd-14.2/sys/conf/ | ||
| H A D | kern.opts.mk | 64 VERIEXEC |
| /freebsd-14.2/share/mk/ | ||
| H A D | src.opts.mk | 234 VERIEXEC/BEARSSL \ |
| /freebsd-14.2/include/ | ||
| H A D | Makefile | 190 VERIEXEC= veriexec_ioctl.h macro |