df4625: module load (BASELINE build)
df4625: === scenario: cancel_delayed_work_sync() called while the self-rearming callback is executing ===
df4625: EXEC #1 entered
df4625: canceller: cancel_delayed_work_sync() ENTER
df4625: EXEC #1 re-arming (4 ticks)
df4625: canceller: cancel_delayed_work_sync() RETURN (timer pending=1 on_queue=0 running=0)
df4625: cancel returned with exec_count=1; watching 12 ticks for a post-cancel EXEC
df4625: EXEC #2 entered
df4625: EXEC #2 re-arming (4 ticks)
df4625: DF-4625 REPRODUCED: work executed AFTER cancel_delayed_work_sync() returned (exec_count 1 -> 2)
interface df4625.1 already present in the KLD 'df4625.ko'!
interface df4625.1 already present in the KLD 'df4625.ko'!
module_register: module df4625 already exists!
Module df4625 failed to register: 17
df4625: module load (FIXED build)
df4625: === scenario: cancel_delayed_work_sync() called while the self-rearming callback is executing ===
df4625: EXEC #1 entered
df4625: canceller: cancel_delayed_work_sync() ENTER
df4625: EXEC #1 re-arming (4 ticks)
df4625: canceller: cancel_delayed_work_sync() RETURN (timer pending=0 on_queue=0 running=0)
df4625: cancel returned with exec_count=1; watching 12 ticks for a post-cancel EXEC
df4625: FIX VALIDATED: no execution after cancel_delayed_work_sync() returned within the window (exec_count=1)