K 10 svn:author V 5 markj K 8 svn:date V 27 2018-06-11T16:27:09.949063Z K 7 svn:log V 92 Use the cached curthread reference in pmc_process_interrupt(). Fix indentation while here. END