# Fix build record (guest /usr/src patched with fix.diff)

Patched: cp /tmp/ehci_pci.c.fixed /usr/src/sys/bus/u4b/controller/ehci_pci.c
         (orig saved as ehci_pci.c.orig; md5 abcf2a5ecfa908cbc950e12e97057304)

Build:   cd /usr/src && make quickkernel KERNCONF=X86_64_GENERIC   (full module
         tree mkdep + rebuild; ehci_pci.c recompiled — quickkernel.log:5530)
Install: cd /usr/src && make installkernel KERNCONF=X86_64_GENERIC  (rc=0)
         ===> bus/u4b/controller/ehci: install ehci.ko /boot/kernel
Result:  -r-xr-xr-x 1 root wheel 484712 Oct  6 16:08 /boot/kernel/ehci.ko
         guest rebooted into it; real QEMU EHCI boots normally (pass-branch):
         "usbus0: EHCI version 1.0", roothub + 6 keyboards enumerate,
         boot-time ehci0 interrupt count 72 (normal).

# Fix validation — same trigger as the unpatched 311K run, 3-point sampling
# (full data in fix_validation_3pt.log)
#
#   T1 (park start, device event fired): ehci0 322795
#   T2 (mid-park, +2.5s):                ehci0 322795   <- FLAT: delta 0
#   T3 (post-attach, +12.5s):            ehci0 322900   <- total delta 105
#
#   Unpatched same trigger: 393106 -> 704268 = 311,162 (storm through park).
#   Patched: zero interrupts during the park despite the pending port event;
#   USB enumeration fully functional afterwards (7 usbconfig entries).
#
# fix_status: fixed  (baseline reproduced 1, patched storm gone)