Fixing bug in calling micros() from interrupts: http://code.google.com/p/arduino/issues/detail?id=55
Fixing bug in calling micros() from interrupts: http://code.google.com/p/arduino/issues/detail?id=55



Former-commit-id: 3063c34ebea9ac16f12fdff68ac8f0d5292b5e04

EmbeddedMan/chipKIT-core,majenkotech/chipKIT-core,ricklon/chipKIT-core,UECIDE/chipKIT-core,EmbeddedMan/chipKIT-core,ricklon/chipKIT-core,EmbeddedMan/chipKIT-core,UECIDE/chipKIT-core,adamwolf/chipKIT-core,pontech/chipKIT-core,adamwolf/chipKIT-core,adamwolf/chipKIT-core,pontech/chipKIT-core,chipKIT32/chipkit-core,majenkotech/chipKIT-core,EmbeddedMan/chipKIT-core,adamwolf/chipKIT-core,adamwolf/chipKIT-core,ricklon/chipKIT-core,majenkotech/chipKIT-core,adamwolf/chipKIT-core,UECIDE/chipKIT-core,pontech/chipKIT-core,EmbeddedMan/chipKIT-core,EmbeddedMan/chipKIT-core,ricklon/chipKIT-core,ricklon/chipKIT-core,UECIDE/chipKIT-core,majenkotech/chipKIT-core,UECIDE/chipKIT-core,EmbeddedMan/chipKIT-core,chipKIT32/chipkit-core,majenkotech/chipKIT-core,pontech/chipKIT-core,adamwolf/chipKIT-core,ricklon/chipKIT-core,chipKIT32/chipkit-core,majenkotech/chipKIT-core,majenkotech/chipKIT-core,chipKIT32/chipkit-core,pontech/chipKIT-core,chipKIT32/chipkit-core,pontech/chipKIT-core,pontech/chipKIT-core