et_intr=0xffffffff804b8c70 et_txeof=0xffffffff804b6740 et_stop=0xffffffff804b5ed0 et_tick=0xffffffff804b8820 et_newbuf_hdr=0xffffffff804b9560 et_newbuf_cluster=0xffffffff804b9570
kern.dfet.intr: 0x0000000000000000 -> 0xffffffff804b8c70
kern.dfet.txeof: 0x0000000000000000 -> 0xffffffff804b6740
kern.dfet.stop: 0x0000000000000000 -> 0xffffffff804b5ed0
kern.dfet.tick: 0x0000000000000000 -> 0xffffffff804b8820
kern.dfet.nbhdr: 0x0000000000000000 -> 0xffffffff804b9560
kern.dfet.nbcl: 0x0000000000000000 -> 0xffffffff804b9570
=== go=1: dispatching the running kernel's own et handlers ===
kern.dfet.go: 0 -> 0
GO_RC=0

===== S2 on FIXED kernel =====
et_intr=0xffffffff804b8c70 et_txeof=0xffffffff804b6740 et_stop=0xffffffff804b5ed0 et_tick=0xffffffff804b8820 et_newbuf_hdr=0xffffffff804b9560 et_newbuf_cluster=0xffffffff804b9570
kldload: can't load ./dfet_poc.ko: module already loaded or in kernel
 4    1 0xffffffff82600000    17000 dfet_poc.ko
kern.dfet.intr: 0xffffffff804b8c70 -> 0xffffffff804b8c70
kern.dfet.txeof: 0xffffffff804b6740 -> 0xffffffff804b6740
kern.dfet.stop: 0xffffffff804b5ed0 -> 0xffffffff804b5ed0
kern.dfet.tick: 0xffffffff804b8820 -> 0xffffffff804b8820
kern.dfet.nbhdr: 0xffffffff804b9560 -> 0xffffffff804b9560
kern.dfet.nbcl: 0xffffffff804b9570 -> 0xffffffff804b9570
=== go=2: dispatching the running kernel's own et handlers ===
kern.dfet.go: 0 -> 0
GO_RC=0
S2_GO_RC=0
guest alive:
 9:20PM  up 26 secs, 0 users, load averages: 0.18, 0.05, 0.02