Searched refs:interruptControllerName (Results 1 – 2 of 2) sorted by relevance
53 IOSymbol *interruptControllerName; in start() local103 getPlatform()->registerInterruptController(interruptControllerName, this); in start()
8600 OSSymbol *interruptControllerName; in resolveInterrupt() local8629 interruptControllerName = OSDynamicCast(OSSymbol, array->getObject(source)); in resolveInterrupt()8630 if (interruptControllerName == NULL) { in resolveInterrupt()8634 interruptController = getPlatform()->lookUpInterruptController(interruptControllerName); in resolveInterrupt()