Lines Matching defs:kind
24 const char* kind;
37 const char* kind;
73 if (interrupt_controller.kind[0] == 0) {
78 memcpy(interrupt_controller.kind, kSupportedInterruptControllers[i].kind,
79 sizeof(interrupt_controller.kind));
88 if (timer.kind[0] == 0) {
93 memcpy(timer.kind, kSupportedTimers[i].kind,
94 sizeof(timer.kind));
109 if (interrupt_controller.kind[0] == 0) {
110 dprintf("kind: None!\n");
112 dprintf(" kind: %s\n", interrupt_controller.kind);
123 if (timer.kind[0] == 0) {
124 dprintf("kind: None!\n");
126 dprintf(" kind: %s\n", timer.kind);