1 #include "soc.h" 2 3 InterruptController *InterruptController::sInstance = NULL; 4 HardwareTimer *HardwareTimer::sInstance = NULL; 5