d9cec0a09e
manager in hex vs decimal to 1000 from 100 so that IRQs are printed in decimal. MFC after: 3 days
manager in hex vs decimal to 1000 from 100 so that IRQs are printed in decimal. MFC after: 3 days