printk에서 파라미터 순서에 따른 출력값의 변화

printk( "file %x\n" , filp->f_pos );
printk( "count %x \n" , count );
printk( "f_pos %x \n" , *f_pos );
printk( "read %x %x c %x\n" , filp->f_pos , *f_pos , count );
printk( "read c %x %x %x\n" , count, filp->f_pos , *f_pos );
printk( "read %x c %x %x\n\n" , filp->f_pos , count , *f_pos );

이런식으로 한줄로 연속으로 같은 값을 출력 순서만 달리하여 출력해 보았습니다.
결과는
file 0
count 1
f_pos 0
read 0 0 c 0
read c 1 0 0
read 0 c 0 1

여기서 알아보기 쉽게 count의 값 앞에 c를 붇여 봤는데.. 이처럼 지멋대로 바뀝니다... 이거 혹시 버그.. 인가요? ㅡㅡ;;