Subject: port-alpha/35284: port-alpha panic: panic: pmap_emulate_reference: !write but not FOR|FOE
To: None <port-alpha-maintainer@netbsd.org, gnats-admin@netbsd.org,>
From: None <brad@beck.net>
List: netbsd-bugs
Date: 12/19/2006 23:35:00
>Number:         35284
>Category:       port-alpha
>Synopsis:       port-alpha panic: panic: pmap_emulate_reference: !write but not FOR|FOE
>Confidential:   no
>Severity:       critical
>Priority:       high
>Responsible:    port-alpha-maintainer
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Tue Dec 19 23:35:00 +0000 2006
>Originator:     Brad Beck
>Release:        3.1.0_PATCH
>Organization:
>Environment:
NetBSD ketos.sanctioned.net 3.1.0_PATCH NetBSD 3.1.0_PATCH (SANCTIONED) #0: Sat Dec  2 16:05:04 CET 2006  root@ketos.sanctioned.net:/usr/obj/sys/arch/alpha/compile/KETEA.1 alpha
>Description:
All available memory is exhausted and system panics when moving large directory structures to a different device.  Tar, pax, rcp, rsync all cause similar behavior.
>How-To-Repeat:
Use cp, tar, pax, rcp, rsync to move a directory tree from one device or network mount to another local device.

login: panic: pmap_emulate_reference: !write but not FOR|FOE
Stopped in pid 224.1 (cron) at  netbsd:cpu_Debugger+0x4:        ret     zero,(ra
)
db{0}> trace
cpu_Debugger() at netbsd:cpu_Debugger+0x4
panic() at netbsd:panic+0x1f8
pmap_emulate_reference() at netbsd:pmap_emulate_reference+0x1cc
trap() at netbsd:trap+0x618
XentMM() at netbsd:XentMM+0x20
--- memory management fault (from ipl 0) ---
--- user mode ---

## dmesg:

NetBSD 3.1.0_PATCH (SANCTIONED) #0: Sat Dec  2 16:05:04 CET 2006
        root@ketos.sanctioned.net:/usr/obj/sys/arch/alpha/compile/KETEA.1
hp AlphaServer DS20L 833 MHz, s/n 0311209609
8192 byte page size, 2 processors.
total memory = 1024 MB
(2712 KB reserved for PROM, 1021 MB used by NetBSD)
avail memory = 998 MB
mainbus0 (root)
cpu0 at mainbus0: ID 0 (primary), 21264B-3
cpu0: VAX FP support, IEEE FP support, Primary Eligible
cpu0: Architecture extensions: 307<PAT,MVI,CIX,FIX,BWX>
cpu1 at mainbus0: ID 1, 21264B-3
cpu1: VAX FP support, IEEE FP support, Primary Eligible
cpu1: Architecture extensions: 307<PAT,MVI,CIX,FIX,BWX>
tsc0 at mainbus0: 21272 Core Logic Chipset, Cchip rev 0
tsc0: 4 Dchips, 1 memory bus of 32 bytes
tsc0: arrays present: 1024MB (split), 0MB, 0MB, 0MB, Dchip 0 rev 1
tsp0 at tsc0
pci0 at tsp0 bus 0
pci0: i/o space, memory space enabled, rd/line, rd/mult, wr/inv ok
esiop0 at pci0 dev 3 function 0: Symbios Logic 53c1010-66 (ultra3-wide scsi)
esiop0: using on-board RAM
esiop0: interrupting at dec 6600 irq 16
esiop0: alloc new tag DSA table at PHY addr 0x8024e000
scsibus0 at esiop0: 16 targets, 8 luns per target
fxp0 at pci0 dev 4 function 0: i82550 Ethernet, rev 12
fxp0: interrupting at dec 6600 irq 20
fxp0: Ethernet address 00:02:56:00:03:f1
inphy0 at fxp0 phy 1: i82555 10/100 media interface, rev. 4
inphy0: 10baseT, 10baseT-FDX, 100baseTX, 100baseTX-FDX, auto
mpt0 at pci0 dev 5 function 0: LSI Logic FC909A FC Adapter
mpt0: interrupting at dec 6600 irq 24
scsibus1 at mpt0: 256 targets, 8 luns per target
sio0 at pci0 dev 7 function 0: Acer Labs M1543 PCI-ISA Bridge (rev. 0xc3)
aceride0 at pci0 dev 16 function 0
aceride0: Acer Labs M5229 UDMA IDE Controller (rev. 0xc2)
aceride0: bus-master DMA support present
aceride0: primary channel configured to compatibility mode
aceride0: primary channel interrupting at isa irq 14
atabus0 at aceride0 channel 0
aceride0: secondary channel configured to compatibility mode
aceride0: secondary channel interrupting at isa irq 15
atabus1 at aceride0 channel 1
Acer Labs M7101 Power Management Controller (miscellaneous prehistoric) at pci0 dev 17 function 0 not configured
isa0 at sio0
lpt0 at isa0 port 0x3bc-0x3bf irq 7
com0 at isa0 port 0x3f8-0x3ff irq 4: ns16550a, working fifo
com0: console
com1 at isa0 port 0x2f8-0x2ff irq 3: ns16550a, working fifo
pcppi0 at isa0 port 0x61
spkr0 at pcppi0
isabeep0 at pcppi0
mcclock0 at isa0 port 0x70-0x71: mc146818 or compatible
tsp1 at tsc0
pci1 at tsp1 bus 0
pci1: i/o space, memory space enabled, rd/line, rd/mult, wr/inv ok
fxp1 at pci1 dev 3 function 0: i82559 Ethernet, rev 8
fxp1: interrupting at dec 6600 irq 32
fxp1: Ethernet address 00:02:56:00:03:f2
inphy1 at fxp1 phy 1: i82555 10/100 media interface, rev. 4
inphy1: 10baseT, 10baseT-FDX, 100baseTX, 100baseTX-FDX, auto
mpt1 at pci1 dev 4 function 0: LSI Logic FC909A FC Adapter
mpt1: interrupting at dec 6600 irq 36
mpt1: External Bus Reset
mpt1: Rescan Port 0
scsibus2 at mpt1: 256 targets, 8 luns per target
raidattach: Asked for 8 units
Kernelized RAIDframe activated
IPsec: Initialized Security Association Processing.
scsibus0: waiting 2 seconds for devices to settle...
scsibus1: waiting 2 seconds for devices to settle...
stray isa irq 15
atapibus0 at atabus1: 2 targets
scsibus2: waiting 2 seconds for devices to settle...
cd0 at atapibus0 drive 1: <SAMSUNG CD-ROM SN-124, , q008> cdrom removable
cd0: 32-bit data port
cd0: drive supports PIO mode 4, DMA mode 2, Ultra-DMA mode 2 (Ultra/33)
cd0(aceride0:1:1): using PIO mode 4, Ultra-DMA mode 2 (Ultra/33) (using DMA)
esiop0: alloc newcdb at PHY addr 0x802ec000
sd0 at scsibus0 target 0 lun 0: <COMPAQ, BD00965CC3, HPB6> disk fixed
sd0: 8678 MB, 48122 cyl, 2 head, 184 sec, 512 bytes/sect x 17773524 sectors
sd0: sync (12.50ns offset 31), 16-bit (160.000MB/s) transfers, tagged queueing
sd1 at scsibus2 target 0 lun 0: <SEAGATE, ST118202 CLAR18, DE2C> disk fixed
sd1: 17497 MB, 6962 cyl, 24 head, 214 sec, 512 bytes/sect x 35834786 sectors
sd2 at scsibus2 target 1 lun 0: <SEAGATE, ST118202 CLAR18, DE2C> disk fixed
sd2: 17497 MB, 6962 cyl, 24 head, 214 sec, 512 bytes/sect x 35834786 sectors
sd3 at scsibus2 target 2 lun 0: <SEAGATE, ST118202 CLAR18, DE2C> disk fixed
sd3: 17497 MB, 6962 cyl, 24 head, 214 sec, 512 bytes/sect x 35834786 sectors
sd4 at scsibus2 target 3 lun 0: <SEAGATE, ST118202 CLAR18, DE2C> disk fixed
sd4: 17497 MB, 6962 cyl, 24 head, 214 sec, 512 bytes/sect x 35834786 sectors
sd5 at scsibus2 target 4 lun 0: <SEAGATE, ST118202 CLAR18, DE2C> disk fixed
sd5: 17497 MB, 6962 cyl, 24 head, 214 sec, 512 bytes/sect x 35834786 sectors
sd6 at scsibus2 target 5 lun 0: <SEAGATE, ST118202 CLAR18, DE2C> disk fixed
sd6: 17497 MB, 6962 cyl, 24 head, 214 sec, 512 bytes/sect x 35834786 sectors
sd7 at scsibus2 target 6 lun 0: <SEAGATE, ST118202 CLAR18, DE2C> disk fixed
sd7: 17497 MB, 6962 cyl, 24 head, 214 sec, 512 bytes/sect x 35834786 sectors
Searching for RAID components...
Component on: sd1a: 35834786
   Row: 0 Column: 0 Num Rows: 1 Num Columns: 7
   Version: 2 Serial Number: 1180453126 Mod Counter: 293
   Clean: No Status: 0
   sectPerSU: 32 SUsPerPU: 1 SUsPerRU: 1
   RAID Level: 5  blocksize: 512 numBlocks: 35834720
   Autoconfig: Yes
   Contains root partition: Yes
   Last configured as: raid0
Component on: sd2a: 35834786
   Row: 0 Column: 1 Num Rows: 1 Num Columns: 7
   Version: 2 Serial Number: 1180453126 Mod Counter: 293
   Clean: No Status: 0
   sectPerSU: 32 SUsPerPU: 1 SUsPerRU: 1
   RAID Level: 5  blocksize: 512 numBlocks: 35834720
   Autoconfig: Yes
   Contains root partition: Yes
   Last configured as: raid0
Component on: sd3a: 35834786
   Row: 0 Column: 2 Num Rows: 1 Num Columns: 7
   Version: 2 Serial Number: 1180453126 Mod Counter: 293
   Clean: No Status: 0
   sectPerSU: 32 SUsPerPU: 1 SUsPerRU: 1
   RAID Level: 5  blocksize: 512 numBlocks: 35834720
   Autoconfig: Yes
   Contains root partition: Yes
   Last configured as: raid0
Component on: sd4a: 35834786
   Row: 0 Column: 3 Num Rows: 1 Num Columns: 7
   Version: 2 Serial Number: 1180453126 Mod Counter: 293
   Clean: No Status: 0
   sectPerSU: 32 SUsPerPU: 1 SUsPerRU: 1
   RAID Level: 5  blocksize: 512 numBlocks: 35834720
   Autoconfig: Yes
   Contains root partition: Yes
   Last configured as: raid0
Component on: sd5a: 35834786
   Row: 0 Column: 4 Num Rows: 1 Num Columns: 7
   Version: 2 Serial Number: 1180453126 Mod Counter: 293
   Clean: No Status: 0
   sectPerSU: 32 SUsPerPU: 1 SUsPerRU: 1
   RAID Level: 5  blocksize: 512 numBlocks: 35834720
   Autoconfig: Yes
   Contains root partition: Yes
   Last configured as: raid0
Component on: sd6a: 35834786
   Row: 0 Column: 5 Num Rows: 1 Num Columns: 7
   Version: 2 Serial Number: 1180453126 Mod Counter: 293
   Clean: No Status: 0
   sectPerSU: 32 SUsPerPU: 1 SUsPerRU: 1
   RAID Level: 5  blocksize: 512 numBlocks: 35834720
   Autoconfig: Yes
   Contains root partition: Yes
   Last configured as: raid0
Component on: sd7a: 35834786
   Row: 0 Column: 6 Num Rows: 1 Num Columns: 7
   Version: 2 Serial Number: 1180453126 Mod Counter: 293
   Clean: No Status: 0
   sectPerSU: 32 SUsPerPU: 1 SUsPerRU: 1
   RAID Level: 5  blocksize: 512 numBlocks: 35834720
   Autoconfig: Yes
   Contains root partition: Yes
   Last configured as: raid0
Found: sd1a at 0
Found: sd2a at 1
Found: sd3a at 2
Found: sd4a at 3
Found: sd5a at 4
Found: sd6a at 5
Found: sd7a at 6
RAID autoconfigure
Configuring raid0:
Starting autoconfiguration of RAID set...
Looking for 0 in autoconfig
Found: sd1a at 0
Looking for 1 in autoconfig
Found: sd2a at 1
Looking for 2 in autoconfig
Found: sd3a at 2
Looking for 3 in autoconfig
Found: sd4a at 3
Looking for 4 in autoconfig
Found: sd5a at 4
Looking for 5 in autoconfig
Found: sd6a at 5
Looking for 6 in autoconfig
Found: sd7a at 6
raid0: allocating 70 buffers of 16384 bytes.
raid0: RAID Level 5
raid0: Components: /dev/sd1a /dev/sd2a /dev/sd3a /dev/sd4a /dev/sd5a /dev/sd6a /dev/sd7a
raid0: Total Sectors: 215008320 (104984 MB)
root on raid0a dumps on raid0b
readclock: 54/12/19/22/14/27=>1166566467 (1166565568)
init: copying out path `/sbin/init' 11
setclock: 54/12/19/22/22/20

## Kernel Config:
# This is for the CS20/DS20L
#
include         "arch/alpha/conf/std.alpha"
options         INCLUDE_CONFIG_FILE     # embed config file in kernel binary
ident           "SANCTIONED"
maxusers 32
options         MULTIPROCESSOR          # include multiprocessor support

# CPU Support
options         DEC_6600                # EV6:  264DP OEM Board

makeoptions     COPTS="-O2 -mbwx"
options         BUFCACHE="6"

# Standard system options
options         KTRACE                  # System call tracing support
options         SYSTRACE                # System call vetting via systrace(1)
options         NTP                     # kernel PLL for NTP

# Diagnostic/debugging support options
options         DIAGNOSTIC              # Cheap kernel consistency checks
options         DEBUG                   # Expensive debugging checks/support
options         KMEMSTATS               # Collect kmem usage statistics
options         DDB                     # kernel debugger
#options        DDB_HISTORY_SIZE=100    # Enable history editing in DDB
#makeoptions    DEBUG="-g"
#makeoptions    DEBUGLIST="pattern1 pattern2 ..."

#options        KGDB                    # Remote kernel GDB support
#options        KGDB_DEVNAME="\"com\""  # device to use for KGDB
#options        KGDB_DEVADDR=0x2f8      # at this address
#options        KGDB_DEVRATE=57600      # at this comm. rate

# File systems
file-system     FFS             # Fast file system
file-system     MFS             # Memory-based file system
file-system     LFS             # Log-structured file system
file-system     CD9660          # ISO-9660 CD-ROM FS (w/RockRidge extensions)
#file-system     ADOSFS          # AmigaDOS-compatible file system
#file-system     MSDOSFS         # MS-DOS-compatible file system
#file-system     NTFS            # Windows/NT file system (experimental)
#file-system     EXT2FS          # Linux ext2 file system
file-system     NFS             # Sun NFS-compatible file system client
file-system     NULLFS          # Null file system layer
file-system     KERNFS          # Kernel variable file system (/kern)
file-system     FDESC           # File descriptor file system (/dev/fd)
#file-system     PORTAL          # Portal file system
file-system     UMAPFS          # User-mapping file system layer
file-system     PROCFS          # Process file system (/proc)
#file-system     UNION           # union file system
#file-system     CODA            # CODA distributed file system
#file-system     SMBFS           # experimental - CIFS; also needs nsmb (below)

# File system options
options         QUOTA           # User and group quotas for the FFS
options         FFS_EI          # FFS Endian Independant support
options         SOFTDEP         # FFS soft updates support.
options         NFSSERVER       # Sun NFS-compatible file system server
#options        FFS_NO_SNAPSHOT # ffs snapshots

# Networking options
#options        GATEWAY         # packet forwarding
options        INET            # IP + ICMP + TCP + UDP
options        INET6           # IPV6
options        IPSEC           # IP security
options        IPSEC_ESP       # IP security (encryption part; define w/IPSEC)
options        IPSEC_NAT_T     # IPsec NAT traversal (NAT-T)
#options        IPSEC_DEBUG     # debug for IP security
#options        MROUTING        # IP multicast routing
#options        PIM             # Protocol Independent Multicast
#options        NS              # XNS
#options        NSIP            # XNS tunneling over IP
#options        ISO,TPIP        # OSI
#options        EON             # OSI tunneling over IP
#options        CCITT,LLC,HDLC  # X.25
#options        NETATALK        # AppleTalk networking protocols
options        PPP_BSDCOMP     # BSD-Compress compression support for PPP
options        PPP_DEFLATE     # Deflate compression support for PPP
options        PPP_FILTER      # Active filter support for PPP (requires bpf)
#options        PFIL_HOOKS      # pfil(9) packet filter hooks
options        IPFILTER_LOG    # ipmon(8) log support
#options        IPFILTER_DEFAULT_BLOCK  # block all packets by default
#options        TCP_DEBUG       # Record last TCP_NDEBUG packets with SO_DEBUG

#options        ALTQ            # Manipulate network interfaces' output queues
#options        ALTQ_BLUE       # Stochastic Fair Blue
#options        ALTQ_CBQ        # Class-Based Queueing
#options        ALTQ_CDNR       # Diffserv Traffic Conditioner
#options        ALTQ_FIFOQ      # First-In First-Out Queue
#options        ALTQ_FLOWVALVE  # RED/flow-valve (red-penalty-box)
#options        ALTQ_HFSC       # Hierarchical Fair Service Curve
#options        ALTQ_LOCALQ     # Local queueing discipline
#options        ALTQ_PRIQ       # Priority Queueing
#options        ALTQ_RED        # Random Early Detection
#options        ALTQ_RIO        # RED with IN/OUT
#options        ALTQ_WFQ        # Weighted Fair Queueing

#options        TCP_COMPAT_42   # 4.2BSD TCP/IP bug compat. Not recommended.

# 4.3BSD compatibility.  Should be optional, but necessary for now.
options         COMPAT_43

# Binary compatibility with previous versions of NetBSD.
#options        COMPAT_09
options         COMPAT_10
options         COMPAT_11
options         COMPAT_12
options         COMPAT_13
options         COMPAT_14
options         COMPAT_16
options         COMPAT_20

# OSF/1 binary compatibility
options         COMPAT_OSF1

# Linux binary compatibility
options         COMPAT_LINUX
options COMPAT_BSDPTY   # /dev/[pt]ty?? ptys.

# System V-like message queues
options         SYSVMSG

# System V-like semaphores
options         SYSVSEM
options         SEMMNI=10       # number of semaphore identifiers
options         SEMMNS=60       # number of semaphores in system
options         SEMUME=10       # max number of undo entries per process
options         SEMMNU=30       # number of undo structures in system

# System V-like shared memory
options         SYSVSHM
options         SHMMAXPGS=1024          # 1024 pages is the default

# p1003.1b semaphore support
options         P1003_1B_SEMAPHORE

# Loadable Kernel Modules
#options        LKM

# Disable kernel security.
#options        INSECURE
options         SETUIDSCRIPTS

# Misc. options
#options         EISAVERBOSE             # recognize "unknown" EISA devices
options         PCIVERBOSE              # recognize "unknown" PCI devices
options         MIIVERBOSE              # verbose PHY autoconfig messages
#options        PCI_CONFIG_DUMP         # verbosely dump PCI config space
options         SCSIVERBOSE             # Verbose SCSI errors
#options         TCVERBOSE               # recognize "unknown" TC devices
#options        PCMCIAVERBOSE           # verbose PCMCIA configuration messages
#options        EXTENT_DEBUG            # extent alloc/dealloc code debugging
options         FIX_UNALIGNED_VAX_FP    # fix unaligned VAX FP loads & stores
#options        NO_KERNEL_RCSIDS        # don't include kernel file RCS IDs
#options         PCMCIAVERBOSE
options         USERCONF                # userconf(4) support
#options        PIPE_SOCKETPAIR         # smaller, but slower pipe(2)
options         SYSCTL_INCLUDE_DESCR    # Include sysctl descriptions in kernel
#options        FONT_GALLANT12x22       # Console font for TC devices

# The Alpha console firmware network boots using the BOOTP
# protocol, so we ask the NFS code to use BOOTP/DHCP as well,
# in case we have NFS root.
#options         NFS_BOOT_DHCP           # superset of BOOTP

# realtime clock compatible to OSF/1
options         CLOCK_COMPAT_OSF1

config          netbsd  root on ? type ffs

mainbus0 at     root
cpu*    at      mainbus0

#EV6 Tsunami Core Logic
tsc*    at      mainbus0

# PCI host bus adapter support
tsp*    at      tsc?

# PCI bus support
pci*    at      tsp?

# PCI devices
fxp*    at      pci? dev ? function ?           # Intel EEPRO 10+/100B
esiop*  at      pci? dev ? function ?           # Symbios 53c875 SCSI and newer
aceride* at pci? dev ? function ?               # Acer Lab IDE controllers
sio*    at      pci? dev ? function ?           # Intel PCI-ISA Bridges
mpt*    at      pci? dev ? function ?           # LSI Fusion SCSI/FC

# MII/PHY support
inphy*  at mii? phy ?                   # Intel 82555 PHYs

# ISA/EISA bus support
isa*    at      sio?

# ISA devices
mcclock* at     isa? port 0x70
pcppi*  at      isa?                            # PC prog. periph. interface
spkr0   at      pcppi?                          # IBM BASIC emulation
isabeep0 at     pcppi?                          # "keyboard" beep
com*    at      isa? port 0x3f8 irq 4           # standard serial ports
com*    at      isa? port 0x2f8 irq 3
lpt*    at      isa? port 0x3bc irq 7           # standard parallel port

# SCSI bus support
scsibus*        at      esiop?
scsibus*        at      mpt?

# SCSI devices
sd*     at      scsibus? target ? lun ?         # SCSI disk drives

# ATA (IDE) bus support
atabus* at      aceride?

# ATAPI bus support
atapibus* at atabus?

# ATAPI devices
cd*     at      atapibus? drive ?               # ATAPI CD-ROM devices

pseudo-device   crypto                  # opencrypto framework
pseudo-device   bpfilter        16
# pseudo-device   ccd             4
pseudo-device   cgd             4       # cryptographic disk devices
pseudo-device   raid            8       # RAIDframe disk driver
options         RAID_AUTOCONFIG         # auto-configuration of RAID components
# options         RAID_DIAGNOSTIC
# Options to enable various other RAIDframe RAID types.
#options        RF_INCLUDE_EVENODD=1
#options        RF_INCLUDE_RAID5_RS=1
#options        RF_INCLUDE_PARITYLOGGING=1
#options        RF_INCLUDE_CHAINDECLUSTER=1
#options        RF_INCLUDE_INTERDECLUSTER=1
#options        RF_INCLUDE_PARITY_DECLUSTERING=1
#options        RF_INCLUDE_PARITY_DECLUSTERING_DS=1
pseudo-device   fss             4       # file system snapshot device
pseudo-device   ipfilter        1
pseudo-device   loop            1
pseudo-device   md              1
pseudo-device   ppp             4
pseudo-device  pppoe                   # PPP over Ethernet (RFC 2516)
pseudo-device   pty                     # pseudo-terminals
# pseudo-device   sl              4
# pseudo-device  strip           4
pseudo-device   tun             4
pseudo-device   tap                     # virtual Ethernet
pseudo-device   vnd             4
options        VND_COMPRESSION         # compressed vnd(4)
pseudo-device   gre             2       # generic L3 over IP tunnel
pseudo-device   gif             4       # IPv[46] over IPv[46] tunnel (RFC1933)
pseudo-device   faith           1       # IPv[46] tcp relay translation i/f
pseudo-device   stf             1       # 6to4 IPv6 over IPv4 encapsulation
pseudo-device   vlan                    # IEEE 802.1q encapsulation
# pseudo-device  bridge                  # simple inter-network bridging
# options        BRIDGE_IPF              # bridge uses IP/IPv6 pfil hooks too
# pseudo-device   sequencer       1       # MIDI sequencer
pseudo-device   rnd                     # /dev/random and in-kernel generator
options         RND_COM                 # use "com" randomness too
# a pseudo device needed for Coda       # also needs CODA (above)
#pseudo-device   vcoda           4       # coda minicache <-> venus comm.
# a pseudo device needed for SMBFS
# pseudo-device   nsmb                    # experimental - SMB requester
pseudo-device   clockctl                # user control of clock subsystem
pseudo-device   ksyms                   # /dev/ksyms
# pseudo-device  pf                      # PF packet filter
# pseudo-device  pflog                   # PF log if

# Veriexec support
options VERIFIED_EXEC

options VERIFIED_EXEC_FP_MD5
options VERIFIED_EXEC_FP_SHA1
options VERIFIED_EXEC_FP_RMD160
options VERIFIED_EXEC_FP_SHA512
options VERIFIED_EXEC_FP_SHA384
options VERIFIED_EXEC_FP_SHA256

# Veriexec pseudo device:
pseudo-device	veriexec 	1

>Fix: