11558Srgrimes#include "soc.h" 21558Srgrimes 379754SddInterruptController *InterruptController::sInstance = NULL; 41558SrgrimesHardwareTimer *HardwareTimer::sInstance = NULL; 51558Srgrimes