Linux Driver Verification

When user enables zero level of debug printing, he does not expect to see so many garbage in output:

rule-instrumentor: NORMAL: Process the commands input file.
Add decls for keys['0']=spin_lock_irqsaveAdd decls for keys['1']=spin_lock_nestedAdd decls for keys['2']=spin_lock_nest_lockAdd decls for keys['3']=spin_lock_irqsave_nestedAdd decls for keys['4']=spin_trylock_irqsaveAdd decls for keys['5']=spin_lockAdd decls for keys['6']=spin_lock_bhAdd decls for keys['7']=spin_lock_irqAdd decls for keys['8']=spin_trylockAdd decls for keys['9']=spin_trylock_bhAdd decls for keys['10']=spin_trylock_irqAdd decls for keys['11']=spin_unlockAdd decls for keys['12']=spin_unlock_bhAdd decls for keys['13']=spin_unlock_irqAdd decls for keys['14']=spin_unlock_irqrestoreAdd decls for keys['15']=spin_unlock_waitAdd decls for keys['16']=spin_is_lockedAdd decls for keys['17']=spin_is_contendedAdd decls for keys['18']=spin_can_lockAdd decls for keys['19']=atomic_dec_and_lockAdd decls for keys['0']=spin_lock_irqsaveAdd decls for keys['1']=spin_lock_nestedAdd decls for keys['2']=spin_lock_nest_lockAdd decls for keys['3']=spin_lock_irqsave_nestedAdd decls for keys['4']=spin_trylock_irqsaveAdd decls for keys['5']=spin_lockAdd decls for keys['6']=spin_lock_bhAdd decls for keys['7']=spin_lock_irqAdd decls for keys['8']=spin_trylockAdd decls for keys['9']=spin_trylock_bhAdd decls for keys['10']=spin_trylock_irqAdd decls for keys['11']=spin_unlockAdd decls for keys['12']=spin_unlock_bhAdd decls for keys['13']=spin_unlock_irqAdd decls for keys['14']=spin_unlock_irqrestoreAdd decls for keys['15']=spin_unlock_waitAdd decls for keys['16']=spin_is_lockedAdd decls for keys['17']=spin_is_contendedAdd decls for keys['18']=spin_can_lockAdd decls for keys['19']=atomic_dec_and_lockAdd decls for keys['0']=spin_lock_irqsaveAdd decls for keys['1']=spin_lock_nestedAdd decls for keys['2']=spin_lock_nest_lockAdd decls for keys['3']=spin_lock_irqsave_nestedAdd decls for keys['4']=spin_trylock_irqsaveAdd decls for keys['5']=spin_lockAdd decls for keys['6']=spin_lock_bhAdd decls for keys['7']=spin_lock_irqAdd decls for keys['8']=spin_trylockAdd decls for keys['9']=spin_trylock_bhAdd decls for keys['10']=spin_trylock_irqAdd decls for keys['11']=spin_unlockAdd decls for keys['12']=spin_unlock_bhAdd decls for keys['13']=spin_unlock_irqAdd decls for keys['14']=spin_unlock_irqrestoreAdd decls for keys['15']=spin_unlock_waitAdd decls for keys['16']=spin_is_lockedAdd decls for keys['17']=spin_is_contendedAdd decls for keys['18']=spin_can_lockAdd decls for keys['19']=atomic_dec_and_lockAdd decls for keys['0']=spin_lock_irqsaveAdd decls for keys['1']=spin_lock_nestedAdd decls for keys['2']=spin_lock_nest_lockAdd decls for keys['3']=spin_lock_irqsave_nestedAdd decls for keys['4']=spin_trylock_irqsaveAdd decls for keys['5']=spin_lockAdd decls for keys['6']=spin_lock_bhAdd decls for keys['7']=spin_lock_irqAdd decls for keys['8']=spin_trylockAdd decls for keys['9']=spin_trylock_bhAdd decls for keys['10']=spin_trylock_irqAdd decls for keys['11']=spin_unlockAdd decls for keys['12']=spin_unlock_bhAdd decls for keys['13']=spin_unlock_irqAdd decls for keys['14']=spin_unlock_irqrestoreAdd decls for keys['15']=spin_unlock_waitAdd decls for keys['16']=spin_is_lockedAdd decls for keys['17']=spin_is_contendedAdd decls for keys['18']=spin_can_lockAdd decls for keys['19']=atomic_dec_and_lockAdd decls for keys['0']=spin_lock_irqsaveAdd decls for keys['1']=spin_lock_nestedAdd decls for keys['2']=spin_lock_nest_lockAdd decls for keys['3']=spin_lock_irqsave_nestedAdd decls for keys['4']=spin_trylock_irqsaveAdd decls for keys['5']=spin_lockAdd decls for keys['6']=spin_lock_bhAdd decls for keys['7']=spin_lock_irqAdd decls for keys['8']=spin_trylockAdd decls for keys['9']=spin_trylock_bhAdd decls for keys['10']=spin_trylock_irqAdd decls for keys['11']=spin_unlockAdd decls for keys['12']=spin_unlock_bhAdd decls for keys['13']=spin_unlock_irqAdd decls for keys['14']=spin_unlock_irqrestoreAdd decls for keys['15']=spin_unlock_waitAdd decls for keys['16']=spin_is_lockedAdd decls for keys['17']=spin_is_contendedAdd decls for keys['18']=spin_can_lockAdd decls for keys['19']=atomic_dec_and_lockAdd decls for keys['0']=spin_lock_irqsaveAdd decls for keys['1']=spin_lock_nestedAdd decls for keys['2']=spin_lock_nest_lockAdd decls for keys['3']=spin_lock_irqsave_nestedAdd decls for keys['4']=spin_trylock_irqsaveAdd decls for keys['5']=spin_lockAdd decls for keys['6']=spin_lock_bhAdd decls for keys['7']=spin_lock_irqAdd decls for keys['8']=spin_trylockAdd decls for keys['9']=spin_trylock_bhAdd decls for keys['10']=spin_trylock_irqAdd decls for keys['11']=spin_unlockAdd decls for keys['12']=spin_unlock_bhAdd decls for keys['13']=spin_unlock_irqAdd decls for keys['14']=spin_unlock_irqrestoreAdd decls for keys['15']=spin_unlock_waitAdd decls for keys['16']=spin_is_lockedAdd decls for keys['17']=spin_is_contendedAdd decls for keys['18']=spin_can_lockAdd decls for keys['19']=atomic_dec_and_lockAdd decls for keys['0']=spin_lock_irqsaveAdd decls for keys['1']=spin_lock_nestedAdd decls for keys['2']=spin_lock_nest_lockAdd decls for keys['3']=spin_lock_irqsave_nestedAdd decls for keys['4']=spin_trylock_irqsaveAdd decls for keys['5']=spin_lockAdd decls for keys['6']=spin_lock_bhAdd decls for keys['7']=spin_lock_irqAdd decls for keys['8']=spin_trylockAdd decls for keys['9']=spin_trylock_bhAdd decls for keys['10']=spin_trylock_irqAdd decls for keys['11']=spin_unlockAdd decls for keys['12']=spin_unlock_bhAdd decls for keys['13']=spin_unlock_irqAdd decls for keys['14']=spin_unlock_irqrestoreAdd decls for keys['15']=spin_unlock_waitAdd decls for keys['16']=spin_is_lockedAdd decls for keys['17']=spin_is_contendedAdd decls for keys['18']=spin_can_lockAdd decls for keys['19']=atomic_dec_and_lockAdd decls for keys['0']=spin_lock_irqsaveAdd decls for keys['1']=spin_lock_nestedAdd decls for keys['2']=spin_lock_nest_lockAdd decls for keys['3']=spin_lock_irqsave_nestedAdd decls for keys['4']=spin_trylock_irqsaveAdd decls for keys['5']=spin_lockAdd decls for keys['6']=spin_lock_bhAdd decls for keys['7']=spin_lock_irqAdd decls for keys['8']=spin_trylockAdd decls for keys['9']=spin_trylock_bhAdd decls for keys['10']=spin_trylock_irqAdd decls for keys['11']=spin_unlockAdd decls for keys['12']=spin_unlock_bhAdd decls for keys['13']=spin_unlock_irqAdd decls for keys['14']=spin_unlock_irqrestoreAdd decls for keys['15']=spin_unlock_waitAdd decls for keys['16']=spin_is_lockedAdd decls for keys['17']=spin_is_contendedAdd decls for keys['18']=spin_can_lockAdd decls for keys['19']=atomic_dec_and_lockAdd decls for keys['0']=spin_lock_irqsaveAdd decls for keys['1']=spin_lock_nestedAdd decls for keys['2']=spin_lock_nest_lockAdd decls for keys['3']=spin_lock_irqsave_nestedAdd decls for keys['4']=spin_trylock_irqsaveAdd decls for keys['5']=spin_lockAdd decls for keys['6']=spin_lock_bhAdd decls for keys['7']=spin_lock_irqAdd decls for keys['8']=spin_trylockAdd decls for keys['9']=spin_trylock_bhAdd decls for keys['10']=spin_trylock_irqAdd decls for keys['11']=spin_unlockAdd decls for keys['12']=spin_unlock_bhAdd decls for keys['13']=spin_unlock_irqAdd decls for keys['14']=spin_unlock_irqrestoreAdd decls for keys['15']=spin_unlock_waitAdd decls for keys['16']=spin_is_lockedAdd decls for keys['17']=spin_is_contendedAdd decls for keys['18']=spin_can_lockAdd decls for keys['19']=atomic_dec_and_lockAdd decls for keys['0']=spin_lock_irqsaveAdd decls for keys['1']=spin_lock_nestedAdd decls for keys['2']=spin_lock_nest_lockAdd decls for keys['3']=spin_lock_irqsave_nestedAdd decls for keys['4']=spin_trylock_irqsaveAdd decls for keys['5']=spin_lockAdd decls for keys['6']=spin_lock_bhAdd decls for keys['7']=spin_lock_irqAdd decls for keys['8']=spin_trylockAdd decls for keys['9']=spin_trylock_bhAdd decls for keys['10']=spin_trylock_irqAdd decls for keys['11']=spin_unlockAdd decls for keys['12']=spin_unlock_bhAdd decls for keys['13']=spin_unlock_irqAdd decls for keys['14']=spin_unlock_irqrestoreAdd decls for keys['15']=spin_unlock_waitAdd decls for keys['16']=spin_is_lockedAdd decls for keys['17']=spin_is_contendedAdd decls for keys['18']=spin_can_lockAdd decls for keys['19']=atomic_dec_and_lockAdd decls for keys['0']=spin_lock_irqsaveAdd decls for keys['1']=spin_lock_nestedAdd decls for keys['2']=spin_lock_nest_lockAdd decls for keys['3']=spin_lock_irqsave_nestedAdd decls for keys['4']=spin_trylock_irqsaveAdd decls for keys['5']=spin_lockAdd decls for keys['6']=spin_lock_bhAdd decls for keys['7']=spin_lock_irqAdd decls for keys['8']=spin_trylockAdd decls for keys['9']=spin_trylock_bhAdd decls for keys['10']=spin_trylock_irqAdd decls for keys['11']=spin_unlockAdd decls for keys['12']=spin_unlock_bhAdd decls for keys['13']=spin_unlock_irqAdd decls for keys['14']=spin_unlock_irqrestoreAdd decls for keys['15']=spin_unlock_waitAdd decls for keys['16']=spin_is_lockedAdd decls for keys['17']=spin_is_contendedAdd decls for keys['18']=spin_can_lockAdd decls for keys['19']=atomic_dec_and_lockAdd decls for keys['0']=spin_lock_irqsaveAdd decls for keys['1']=spin_lock_nestedAdd decls for keys['2']=spin_lock_nest_lockAdd decls for keys['3']=spin_lock_irqsave_nestedAdd decls for keys['4']=spin_trylock_irqsaveAdd decls for keys['5']=spin_lockAdd decls for keys['6']=spin_lock_bhAdd decls for keys['7']=spin_lock_irqAdd decls for keys['8']=spin_trylockAdd decls for keys['9']=spin_trylock_bhAdd decls for keys['10']=spin_trylock_irqAdd decls for keys['11']=spin_unlockAdd decls for keys['12']=spin_unlock_bhAdd decls for keys['13']=spin_unlock_irqAdd decls for keys['14']=spin_unlock_irqrestoreAdd decls for keys['15']=spin_unlock_waitAdd decls for keys['16']=spin_is_lockedAdd decls for keys['17']=spin_is_contendedAdd decls for keys['18']=spin_can_lockAdd decls for keys['19']=atomic_dec_and_lockAdd decls for keys['0']=spin_lock_irqsaveAdd decls for keys['1']=spin_lock_nestedAdd decls for keys['2']=spin_lock_nest_lockAdd decls for keys['3']=spin_lock_irqsave_nestedAdd decls for keys['4']=spin_trylock_irqsaveAdd decls for keys['5']=spin_lockAdd decls for keys['6']=spin_lock_bhAdd decls for keys['7']=spin_lock_irqAdd decls for keys['8']=spin_trylockAdd decls for keys['9']=spin_trylock_bhAdd decls for keys['10']=spin_trylock_irqAdd decls for keys['11']=spin_unlockAdd decls for keys['12']=spin_unlock_bhAdd decls for keys['13']=spin_unlock_irqAdd decls for keys['14']=spin_unlock_irqrestoreAdd decls for keys['15']=spin_unlock_waitAdd decls for keys['16']=spin_is_lockedAdd decls for keys['17']=spin_is_contendedAdd decls for keys['18']=spin_can_lockAdd decls for keys['19']=atomic_dec_and_lockAdd decls for keys['0']=spin_lock_irqsaveAdd decls for keys['1']=spin_lock_nestedAdd decls for keys['2']=spin_lock_nest_lockAdd decls for keys['3']=spin_lock_irqsave_nestedAdd decls for keys['4']=spin_trylock_irqsaveAdd decls for keys['5']=spin_lockAdd decls for keys['6']=spin_lock_bhAdd decls for keys['7']=spin_lock_irqAdd decls for keys['8']=spin_trylockAdd decls for keys['9']=spin_trylock_bhAdd decls for keys['10']=spin_trylock_irqAdd decls for keys['11']=spin_unlockAdd decls for keys['12']=spin_unlock_bhAdd decls for keys['13']=spin_unlock_irqAdd decls for keys['14']=spin_unlock_irqrestoreAdd decls for keys['15']=spin_unlock_waitAdd decls for keys['16']=spin_is_lockedAdd decls for keys['17']=spin_is_contendedAdd decls for keys['18']=spin_can_lockAdd decls for keys['19']=atomic_dec_and_lockrule-instrumentor: NORMAL: Delete auxiliary files in the nondebug modes.
rule-instrumentor: NORMAL: Make all successfully.