The fifth patch, sht-ops-conversion, can be verified not to change the
final sht and ops by printing out all entries and comparing the values
before and after.

1. Apply till the fourth patch and apply verify-before on top of it.
   Build a kernel with all libata modules enabled.  Boot, cd into
   drivers/ata and run the following command.

   # insmod libata.ko; for i in $(ls *.ko | sort | grep -v libata.ko); do insmod $i; done; dmesg -c | grep -E 'SHT|OPS' | sed -r 's/^\[[ \.0-9]*\] (.*)$/\1/' | sort > ~/out.before

   If you need some libata modules built-in for rootfs, it's okay too.
   It will give the same result.

2. Backout verify-before, apply the sht-ops-conversion patch and
   verify-after on top of it and run the following command.

   # insmod libata.ko; for i in $(ls *.ko | sort | grep -v libata.ko); do insmod $i; done; dmesg -c | grep -E 'SHT|OPS' | sed -r 's/^\[[ \.0-9]*\] (.*)$/\1/' | sort > ~/out.after

3. Use your favorite diff program to compare out.before and out.after.
   Graphical ones which show in-line differences will work best.

verify-{before|after} patches add two dump functions in libata-core.c
and makes all LLDs call them with their sht and ops tables on driver
load.  If the supplied patches are enough for some reason, You can add
those lines using the attached gen-verify.py script.

out.before and out.after are the output files from x86-64.

Thanks.

-- 
tejun