Free Tools: Pastebin.xyz Disposable Email SEO Tools Private Pastebin
135 Hits total
c Language
23.695 Author
close

Untitled

This is a quick overview of some features

  1. => setenv serverip 192.168.255.1                                                                                                        
  2. => setenv ipaddr 192.168.255.2                                                                                                          
  3. => setenv xen_bootargs 'dom0_mem=512M console=dtuart dtuart=serial2 sync_console'                                                      
  4. =>                                                                                                                                      
  5. => tftpboot 0x82000000 zImage; tftpboot 0x83000000 bbx15.dtb; tftpboot 0x84000000 rootfs.img.gz; tftpboot 0x85000000 xen; setenv bootar;
  6. link up on port 0, speed 100, full duplex                                                                                              
  7. Using [email protected]48484000 device                                                                                                          
  8. TFTP from server 192.168.255.1; our IP address is 192.168.255.2                                                                        
  9. Filename 'zImage'.                                                                                                                      
  10. Load address: 0x82000000                                                                                                                
  11. Loading: #################################################################                                                              
  12.          #################################################################                                                              
  13.          #################################################################                                                              
  14.          #################################################################                                                              
  15.          ###########################                                                                                                    
  16.          198.2 KiB/s                                                                                                                    
  17. done                                                                                                                                    
  18. Bytes transferred = 4204176 (402690 hex)                                                                                                
  19. link up on port 0, speed 100, full duplex                                                                                              
  20. Using [email protected]48484000 device                                                                                                          
  21. TFTP from server 192.168.255.1; our IP address is 192.168.255.2                                                                        
  22. Filename 'bbx15.dtb'.                                                                                                                  
  23. Load address: 0x83000000                                                                                                                
  24. Loading: #########                                                                                                                      
  25.          5.6 MiB/s                                                                                                                      
  26. done                                                                                                                                    
  27. Bytes transferred = 128751 (1f6ef hex)                                                                                                  
  28. link up on port 0, speed 100, full duplex                                                                                              
  29. Using [email protected]48484000 device                                                                                                          
  30. TFTP from server 192.168.255.1; our IP address is 192.168.255.2                                                                        
  31. Filename 'rootfs.img.gz'.                                                                                                              
  32. Load address: 0x84000000                                                                                                                
  33. Loading: #################################################################                                                              
  34.          ####                                                                                                                          
  35.          6.5 MiB/s                                                                                                                      
  36. done                                                                                                                                    
  37. Bytes transferred = 1012452 (f72e4 hex)                                                                                                
  38. link up on port 0, speed 100, full duplex                                                                                              
  39. Using [email protected]48484000 device                                                                                                          
  40. TFTP from server 192.168.255.1; our IP address is 192.168.255.2                                                                        
  41. Filename 'xen'.                                                                                                                        
  42. Load address: 0x85000000                                                                                                                
  43. Loading: #############################################################                                                                  
  44.          6.1 MiB/s                                                                                                                      
  45. done                                                                                                                                    
  46. Bytes transferred = 884744 (d8008 hex)                                                                                                  
  47. => fdt addr 0x83000000                                                                                                                  
  48. => fdt resize                                                                                                                          
  49. => fdt set /timer clock-frequency <6144000>                                                                                            
  50. => fdt set /chosen #address-cells <1>                                                                                                  
  51. => fdt set /chosen #size-cells <1>                                                                                                    
  52. => fdt set /chosen xen,xen-bootargs "$xen_bootargs"                                                                                  
  53. => fdt mknod /chosen [email protected]0                                                                                                          
  54. => fdt set /chosen/[email protected]0 compatible "xen,linux-zimage" "xen,multiboot-module"                                                        
  55. => fdt set /chosen/[email protected]0 reg <0x82000000 0x402690>                                                                                  
  56. => fdt set /chosen/[email protected]0 bootargs "rw root=/dev/ram rdinit=/sbin/init console=hvc0 mem=512M earlycon=xenboot clk_ignore_unused"      
  57. => fdt mknod /chosen [email protected]1                                                                                                          
  58. => fdt set /chosen/[email protected]1 compatible "xen,linux-initrd" "xen,multiboot-module"                                                        
  59. => fdt set /chosen/[email protected]1 reg <0x84000000 0xf72e4>                                                                                    
  60. =>                                                                                                                                      
  61. =>                                                                                                                                      
  62. => fdt rm /ocp/[email protected]48000000/[email protected]0/[email protected]20000                                                                      
  63. => fdt rm /ocp/[email protected]48000000/[email protected]0/[email protected]                                                                      
  64. => fdt rm /ocp/[email protected]48000000/[email protected]0/[email protected]                                                                      
  65. => bootz 0x85000000 - 0x83000000                                                                                                        
  66. ## Flattened Device Tree blob at 83000000                                                                                              
  67.    Booting using the fdt blob at 0x83000000                                                                                            
  68.    Loading Device Tree to 8ffdd000, end 8fffffff ... OK                                                                                
  69. ft_fixup_clocks failed for DSP voltage domain: FDT_ERR_NOTFOUND                                                                        
  70.                                                                                                                                        
  71. Starting kernel ...                                                                                                                    
  72.                                                                                                                                        
  73. - UART enabled -                                                                                                                        
  74. - CPU 00000000 booting -                                                                                                                
  75. - Xen starting in Hyp mode -                                                                                                            
  76. - Zero BSS -                                                                                                                            
  77. - Setting up control registers -                                                                                                        
  78. - Turning on paging -                                                                                                                  
  79. - Ready -                                                                                                                              
  80. (XEN) Checking for initrd in /chosen                                                                                                    
  81. (XEN) RAM: 0000000080000000 - 00000000ffffffff                                                                                          
  82. (XEN)                                                                                                                                  
  83. (XEN) MODULE[0]: 000000008ffdd000 - 000000008fffd000 Device Tree                                                                        
  84. (XEN) MODULE[1]: 0000000084000000 - 00000000840f72e4 Ramdisk                                                                            
  85. (XEN) MODULE[2]: 0000000082000000 - 0000000082402690 Kernel                                                                            
  86. (XEN)  RESVD[0]: 0000000083000000 - 0000000083020000                                                                                    
  87. (XEN)  RESVD[1]: 000000008ffdd000 - 000000008fffd000                                                                                    
  88. (XEN)                                                                                                                                  
  89. (XEN) CMDLINE[0000000082000000]:chosen rw root=/dev/ram rdinit=/sbin/init console=hvc0 mem=512M earlycon=xenboot clk_ignore_unused      
  90. (XEN)                                                                                                                                  
  91. (XEN) Command line: dom0_mem=512M console=dtuart dtuart=serial2 sync_console                                                            
  92. (XEN) Xen heap: 00000000fc000000-0000000100000000 (16384 pages)                                                                        
  93. (XEN) Dom heap: 507904 pages                                                                                                            
  94. (XEN) Domain heap initialised                                                                                                          
  95. (XEN) Booting using Device Tree                                                                                                        
  96. (XEN) Platform: TI DRA7                                                                                                                
  97. (XEN) Looking for dtuart at "serial2", options ""                                                                                      
  98. (XEN) Unable to find device "serial2"                                                                                                  
  99. (XEN) Bad console= option 'dtuart'                                                                                                      
  100.  Xen 4.13-unstable                                                                                                                      
  101. (XEN) Xen version 4.13-unstable ([email protected]) (arm-linux-gnueabihf-gcc (Ubuntu/Linaro 8.3.0-6ubuntu1) 8.3.0) debug=y  Thu Jul 25 13:45:52 C9
  102. (XEN) Latest ChangeSet: Tue Jul 23 13:38:35 2019 +0200 git:e6f28381b9-dirty                                                            
  103. (XEN) build-id: 23bbbe9ae345c767e0de7d4ebace975dd392d1b8                                                                                
  104. (XEN) Console output is synchronous.                                                                                                    
  105. (XEN) Processor: 412fc0f2: "ARM Limited", variant: 0x2, part 0xc0f, rev 0x2                                                            
  106. (XEN) 32-bit Execution:                                                                                                                
  107. (XEN)   Processor Features: 00001131:00011011                                                                                          
  108. (XEN)     Instruction Sets: AArch32 A32 Thumb Thumb-2 ThumbEE Jazelle                                                                  
  109. (XEN)     Extensions: GenericTimer Security                                                                                            
  110. (XEN)   Debug Features: 02010555                                                                                                        
  111. (XEN)   Auxiliary Features: 00000000                                                                                                    
  112. (XEN)   Memory Model Features: 10201105 20000000 01240000 02102211                                                                      
  113. (XEN)  ISA Features: 02101110 13112111 21232041 11112131 10011142 00000000                                                              
  114. (XEN) Set AuxCoreBoot1 to 000000008506bff8 (0026bff8)                                                                                  
  115. (XEN) Set AuxCoreBoot0 to 0x20                                                                                                          
  116. (XEN) SMP: Allowing 2 CPUs                                                                                                              
  117. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  118. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  119. (XEN) device_tree.c:1476: Before dt_irq_find_parent of timer                                                                            
  120. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  121. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  122. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  123. (XEN) irq.c:708: Going to set type                                                                                                      
  124. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  125. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  126. (XEN) device_tree.c:1476: Before dt_irq_find_parent of timer                                                                            
  127. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  128. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  129. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  130. (XEN) irq.c:708: Going to set type                                                                                                      
  131. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  132. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  133. (XEN) device_tree.c:1476: Before dt_irq_find_parent of timer                                                                            
  134. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  135. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  136. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  137. (XEN) irq.c:708: Going to set type                                                                                                      
  138. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  139. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  140. (XEN) device_tree.c:1476: Before dt_irq_find_parent of timer                                                                            
  141. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  142. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  143. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  144. (XEN) irq.c:708: Going to set type                                                                                                      
  145. (XEN) Generic Timer IRQ: phys=30 hyp=26 virt=27 Freq: 6144 KHz                                                                          
  146. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  147. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  148. (XEN) device_tree.c:1476: Before dt_irq_find_parent of interrupt-controller                                                            
  149. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  150. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  151. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  152. (XEN) irq.c:708: Going to set type                                                                                                      
  153. (XEN) GICv2 initialization:                                                                                                            
  154. (XEN)         gic_dist_addr=0000000048211000                                                                                            
  155. (XEN)         gic_cpu_addr=0000000048212000                                                                                            
  156. (XEN)         gic_hyp_addr=0000000048214000                                                                                            
  157. (XEN)         gic_vcpu_addr=0000000048216000                                                                                            
  158. (XEN)         gic_maintenance_irq=25                                                                                                    
  159. (XEN) GICv2: 192 lines, 2 cpus, secure (IID 0000043b).                                                                                  
  160. (XEN) Using scheduler: SMP Credit Scheduler rev2 (credit2)                                                                              
  161. (XEN) Initializing Credit2 scheduler                                                                                                    
  162. (XEN)  load_precision_shift: 18                                                                                                        
  163. (XEN)  load_window_shift: 30                                                                                                            
  164. (XEN)  underload_balance_tolerance: 0                                                                                                  
  165. (XEN)  overload_balance_tolerance: -3                                                                                                  
  166. (XEN)  runqueues arrangement: socket                                                                                                    
  167. (XEN)  cap enforcement granularity: 10ms                                                                                                
  168. (XEN) load tracking window length 1073741824 ns                                                                                        
  169. (XEN) Adding cpu 0 to runqueue 0                                                                                                        
  170. (XEN)  First cpu on runqueue, activating                                                                                                
  171. (XEN) Allocated console ring of 16 KiB.                                                                                                
  172. (XEN) VFP implementer 0x41 architecture 4 part 0x30 variant 0xf rev 0x0                                                                
  173. (XEN) Bringing up CPU1                                                                                                                  
  174. - CPU 00000001 booting -                                                                                                                
  175. - Xen starting in Hyp mode -                                                                                                            
  176. - Setting up control registers -                                                                                                        
  177. - Turning on paging -                                                                                                                  
  178. - Ready -                                                                                                                              
  179. (XEN) Adding cpu 1 to runqueue 0                                                                                                        
  180. (XEN) CPU 1 booted.                                                                                                                    
  181. (XEN) Brought up 2 CPUs                                                                                                                
  182. (XEN) P2M: 40-bit IPA                                                                                                                  
  183. (XEN) P2M: 3 levels with order-1 root, VTCR 0x80003558                                                                                  
  184. (XEN) I/O virtualisation disabled                                                                                                      
  185. (XEN) alternatives: Patching with alt table 002aa6b4 -> 002aa720                                                                        
  186. (XEN) CPU0 will execute ICIALLU on guest exit                                                                                          
  187. (XEN) CPU1 will execute ICIALLU on guest exit                                                                                          
  188. (XEN) *** LOADING DOMAIN 0 ***                                                                                                          
  189. (XEN) Loading d0 kernel from boot module @ 0000000082000000                                                                            
  190. (XEN) Loading ramdisk from boot module @ 0000000084000000                                                                              
  191. (XEN) Allocating 1:1 mappings totalling 512MB for dom0:                                                                                
  192. (XEN) BANK[0] 0x000000a0000000-0x000000c0000000 (512MB)                                                                                
  193. (XEN) Grant table range: 0x00000085000000-0x00000085040000                                                                              
  194. (XEN) device_tree.c:1460: Before dt_irq_map_raw                                                                                        
  195. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  196. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  197. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  198. (XEN) device_tree.c:1460: Before dt_irq_map_raw                                                                                        
  199. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  200. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  201. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  202. (XEN) omap5.c:199: crossbar_id = 4, mapped to irq = 4,             current_offset = 0                                                  
  203. (XEN) irq.c:708: Going to set type                                                                                                      
  204. (XEN) device_tree.c:1460: Before dt_irq_map_raw                                                                                        
  205. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  206. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  207. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  208. (XEN) device_tree.c:1460: Before dt_irq_map_raw                                                                                        
  209. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  210. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  211. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  212. (XEN) omap5.c:199: crossbar_id = 10, mapped to irq = 7,             current_offset = 2                                                  
  213. (XEN) irq.c:708: Going to set type                                                                                                      
  214. (XEN) device_tree.c:1476: Before dt_irq_find_parent of dma-controller                                                                  
  215. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  216. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  217. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  218. (XEN) device_tree.c:1476: Before dt_irq_find_parent of dma-controller                                                                  
  219. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  220. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  221. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  222. (XEN) omap5.c:199: crossbar_id = 7, mapped to irq = 8,             current_offset = 4                                                  
  223. (XEN) irq.c:708: Going to set type                                                                                                      
  224. (XEN) device_tree.c:1476: Before dt_irq_find_parent of dma-controller                                                                  
  225. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  226. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  227. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  228. (XEN) device_tree.c:1476: Before dt_irq_find_parent of dma-controller                                                                  
  229. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  230. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  231. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  232. (XEN) omap5.c:199: crossbar_id = 8, mapped to irq = 9,             current_offset = 6                                                  
  233. (XEN) irq.c:708: Going to set type                                                                                                      
  234. (XEN) device_tree.c:1476: Before dt_irq_find_parent of dma-controller                                                                  
  235. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  236. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  237. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  238. (XEN) device_tree.c:1476: Before dt_irq_find_parent of dma-controller                                                                  
  239. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  240. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  241. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  242. (XEN) omap5.c:199: crossbar_id = 9, mapped to irq = 10,             current_offset = 8                                                  
  243. (XEN) irq.c:708: Going to set type                                                                                                      
  244. (XEN) device_tree.c:1476: Before dt_irq_find_parent of dma-controller                                                                  
  245. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  246. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  247. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  248. (XEN) device_tree.c:1476: Before dt_irq_find_parent of dma-controller                                                                  
  249. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  250. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  251. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  252. (XEN) omap5.c:199: crossbar_id = 10, mapped to irq = 11,             current_offset = 10                                                
  253. (XEN) irq.c:708: Going to set type                                                                                                      
  254. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  255. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  256. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  257. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  258. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  259. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  260. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  261. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  262. (XEN) gic.c:211: Map the disabled device irq to line 191                                                                                
  263. (XEN) irq.c:708: Going to set type                                                                                                      
  264. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  265. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  266. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  267. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  268. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  269. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  270. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  271. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  272. (XEN) gic.c:211: Map the disabled device irq to line 191                                                                                
  273. (XEN) irq.c:708: Going to set type                                                                                                      
  274. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  275. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  276. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  277. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  278. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  279. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  280. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  281. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  282. (XEN) gic.c:211: Map the disabled device irq to line 191                                                                                
  283. (XEN) irq.c:708: Going to set type                                                                                                      
  284. (XEN) device_tree.c:1476: Before dt_irq_find_parent of prm                                                                              
  285. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  286. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  287. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  288. (XEN) device_tree.c:1476: Before dt_irq_find_parent of prm                                                                              
  289. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  290. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  291. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  292. (XEN) omap5.c:199: crossbar_id = 6, mapped to irq = 12,             current_offset = 12                                                
  293. (XEN) irq.c:708: Going to set type                                                                                                      
  294. (XEN) device_tree.c:1476: Before dt_irq_find_parent of gpio                                                                            
  295. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  296. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  297. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  298. (XEN) device_tree.c:1476: Before dt_irq_find_parent of gpio                                                                            
  299. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  300. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  301. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  302. (XEN) omap5.c:199: crossbar_id = 24, mapped to irq = 13,             current_offset = 14                                                
  303. (XEN) irq.c:708: Going to set type                                                                                                      
  304. (XEN) device_tree.c:1476: Before dt_irq_find_parent of wdt                                                                              
  305. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  306. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  307. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  308. (XEN) device_tree.c:1476: Before dt_irq_find_parent of wdt                                                                              
  309. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  310. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  311. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  312. (XEN) omap5.c:199: crossbar_id = 75, mapped to irq = 14,             current_offset = 16                                                
  313. (XEN) irq.c:708: Going to set type                                                                                                      
  314. (XEN) device_tree.c:1476: Before dt_irq_find_parent of timer                                                                            
  315. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  316. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  317. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  318. (XEN) device_tree.c:1476: Before dt_irq_find_parent of timer                                                                            
  319. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  320. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  321. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  322. (XEN) omap5.c:199: crossbar_id = 32, mapped to irq = 15,             current_offset = 18                                                
  323. (XEN) irq.c:708: Going to set type                                                                                                      
  324. (XEN) device_tree.c:1476: Before dt_irq_find_parent of timer                                                                            
  325. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  326. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  327. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  328. (XEN) device_tree.c:1476: Before dt_irq_find_parent of timer                                                                            
  329. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  330. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  331. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  332. (XEN) omap5.c:199: crossbar_id = 90, mapped to irq = 16,             current_offset = 20                                                
  333. (XEN) irq.c:708: Going to set type                                                                                                      
  334. (XEN) device_tree.c:1476: Before dt_irq_find_parent of serial                                                                          
  335. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  336. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  337. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  338. (XEN) device_tree.c:1476: Before dt_irq_find_parent of serial                                                                          
  339. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  340. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  341. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  342. (XEN) gic.c:211: Map the disabled device irq to line 191                                                                                
  343. (XEN) irq.c:708: Going to set type                                                                                                      
  344. (XEN) device_tree.c:1476: Before dt_irq_find_parent of can                                                                              
  345. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  346. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  347. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  348. (XEN) device_tree.c:1476: Before dt_irq_find_parent of can                                                                              
  349. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  350. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  351. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  352. (XEN) gic.c:211: Map the disabled device irq to line 191                                                                                
  353. (XEN) irq.c:708: Going to set type                                                                                                      
  354. (XEN) device_tree.c:1476: Before dt_irq_find_parent of timer                                                                            
  355. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  356. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  357. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  358. (XEN) device_tree.c:1476: Before dt_irq_find_parent of timer                                                                            
  359. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  360. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  361. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  362. (XEN) omap5.c:199: crossbar_id = 33, mapped to irq = 17,             current_offset = 22                                                
  363. (XEN) irq.c:708: Going to set type                                                                                                      
  364. (XEN) device_tree.c:1476: Before dt_irq_find_parent of timer                                                                            
  365. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  366. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  367. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  368. (XEN) device_tree.c:1476: Before dt_irq_find_parent of timer                                                                            
  369. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  370. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  371. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  372. (XEN) omap5.c:199: crossbar_id = 34, mapped to irq = 18,             current_offset = 24                                                
  373. (XEN) irq.c:708: Going to set type                                                                                                      
  374. (XEN) device_tree.c:1476: Before dt_irq_find_parent of timer                                                                            
  375. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  376. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  377. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  378. (XEN) device_tree.c:1476: Before dt_irq_find_parent of timer                                                                            
  379. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  380. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  381. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  382. (XEN) omap5.c:199: crossbar_id = 35, mapped to irq = 19,             current_offset = 26                                                
  383. (XEN) irq.c:708: Going to set type                                                                                                      
  384. (XEN) device_tree.c:1476: Before dt_irq_find_parent of timer                                                                            
  385. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  386. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  387. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  388. (XEN) device_tree.c:1476: Before dt_irq_find_parent of timer                                                                            
  389. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  390. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  391. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  392. (XEN) omap5.c:199: crossbar_id = 40, mapped to irq = 20,             current_offset = 28                                                
  393. (XEN) irq.c:708: Going to set type                                                                                                      
  394. (XEN) device_tree.c:1476: Before dt_irq_find_parent of gpio                                                                            
  395. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  396. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  397. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  398. (XEN) device_tree.c:1476: Before dt_irq_find_parent of gpio                                                                            
  399. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  400. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  401. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  402. (XEN) omap5.c:199: crossbar_id = 30, mapped to irq = 21,             current_offset = 30                                                
  403. (XEN) irq.c:708: Going to set type                                                                                                      
  404. (XEN) device_tree.c:1476: Before dt_irq_find_parent of gpio                                                                            
  405. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  406. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  407. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  408. (XEN) device_tree.c:1476: Before dt_irq_find_parent of gpio                                                                            
  409. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  410. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  411. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  412. (XEN) omap5.c:199: crossbar_id = 116, mapped to irq = 22,             current_offset = 32                                              
  413. (XEN) irq.c:708: Going to set type                                                                                                      
  414. (XEN) device_tree.c:1476: Before dt_irq_find_parent of gpio                                                                            
  415. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  416. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  417. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  418. (XEN) device_tree.c:1476: Before dt_irq_find_parent of gpio                                                                            
  419. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  420. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  421. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  422. (XEN) omap5.c:199: crossbar_id = 25, mapped to irq = 23,             current_offset = 34                                                
  423. (XEN) irq.c:708: Going to set type                                                                                                      
  424. (XEN) device_tree.c:1476: Before dt_irq_find_parent of gpio                                                                            
  425. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  426. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  427. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  428. (XEN) device_tree.c:1476: Before dt_irq_find_parent of gpio                                                                            
  429. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  430. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  431. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  432. (XEN) omap5.c:199: crossbar_id = 26, mapped to irq = 24,             current_offset = 36                                                
  433. (XEN) irq.c:708: Going to set type                                                                                                      
  434. (XEN) device_tree.c:1476: Before dt_irq_find_parent of gpio                                                                            
  435. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  436. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  437. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  438. (XEN) device_tree.c:1476: Before dt_irq_find_parent of gpio                                                                            
  439. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  440. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  441. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  442. (XEN) omap5.c:199: crossbar_id = 27, mapped to irq = 25,             current_offset = 38                                                
  443. (XEN) irq.c:708: Going to set type                                                                                                      
  444. (XEN) device_tree.c:1476: Before dt_irq_find_parent of gpio                                                                            
  445. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  446. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  447. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  448. (XEN) device_tree.c:1476: Before dt_irq_find_parent of gpio                                                                            
  449. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  450. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  451. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  452. (XEN) omap5.c:199: crossbar_id = 28, mapped to irq = 26,             current_offset = 40                                                
  453. (XEN) irq.c:708: Going to set type                                                                                                      
  454. (XEN) device_tree.c:1476: Before dt_irq_find_parent of gpio                                                                            
  455. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  456. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  457. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  458. (XEN) device_tree.c:1476: Before dt_irq_find_parent of gpio                                                                            
  459. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  460. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  461. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  462. (XEN) omap5.c:199: crossbar_id = 29, mapped to irq = 27,             current_offset = 42                                                
  463. (XEN) irq.c:708: Going to set type                                                                                                      
  464. (XEN) device_tree.c:1476: Before dt_irq_find_parent of i2c                                                                              
  465. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  466. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  467. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  468. (XEN) device_tree.c:1476: Before dt_irq_find_parent of i2c                                                                              
  469. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  470. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  471. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  472. (XEN) omap5.c:199: crossbar_id = 56, mapped to irq = 28,             current_offset = 44                                                
  473. (XEN) irq.c:708: Going to set type                                                                                                      
  474. (XEN) device_tree.c:1460: Before dt_irq_map_raw                                                                                        
  475. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  476. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  477. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  478. (XEN) device_tree.c:1460: Before dt_irq_map_raw                                                                                        
  479. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  480. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  481. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  482. (XEN) omap5.c:199: crossbar_id = 2, mapped to irq = 29,             current_offset = 46                                                
  483. (XEN) irq.c:708: Going to set type                                                                                                      
  484. (XEN) device_tree.c:1460: Before dt_irq_map_raw                                                                                        
  485. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  486. (XEN) device_tree.c:1476: Before dt_irq_find_parent of serial                                                                          
  487. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  488. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  489. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  490. (XEN) device_tree.c:1476: Before dt_irq_find_parent of serial                                                                          
  491. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  492. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  493. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  494. (XEN) gic.c:211: Map the disabled device irq to line 191                                                                                
  495. (XEN) irq.c:708: Going to set type                                                                                                      
  496. (XEN) device_tree.c:1476: Before dt_irq_find_parent of serial                                                                          
  497. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  498. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  499. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  500. (XEN) device_tree.c:1476: Before dt_irq_find_parent of serial                                                                          
  501. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  502. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  503. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  504. (XEN) gic.c:211: Map the disabled device irq to line 191                                                                                
  505. (XEN) irq.c:708: Going to set type                                                                                                      
  506. (XEN) device_tree.c:1460: Before dt_irq_map_raw                                                                                        
  507. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  508. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  509. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  510. (XEN) device_tree.c:1460: Before dt_irq_map_raw                                                                                        
  511. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  512. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  513. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  514. (XEN) omap5.c:199: crossbar_id = 67, mapped to irq = 30,             current_offset = 48                                                
  515. (XEN) irq.c:708: Going to set type                                                                                                      
  516. (XEN) device_tree.c:1476: Before dt_irq_find_parent of serial                                                                          
  517. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  518. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  519. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  520. (XEN) device_tree.c:1476: Before dt_irq_find_parent of serial                                                                          
  521. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  522. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  523. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  524. (XEN) gic.c:211: Map the disabled device irq to line 191                                                                                
  525. (XEN) irq.c:708: Going to set type                                                                                                      
  526. (XEN) device_tree.c:1476: Before dt_irq_find_parent of serial                                                                          
  527. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  528. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  529. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  530. (XEN) device_tree.c:1476: Before dt_irq_find_parent of serial                                                                          
  531. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  532. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  533. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  534. (XEN) gic.c:211: Map the disabled device irq to line 191                                                                                
  535. (XEN) irq.c:708: Going to set type                                                                                                      
  536. (XEN) device_tree.c:1476: Before dt_irq_find_parent of i2c                                                                              
  537. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  538. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  539. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  540. (XEN) device_tree.c:1476: Before dt_irq_find_parent of i2c                                                                              
  541. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  542. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  543. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  544. (XEN) omap5.c:199: crossbar_id = 51, mapped to irq = 31,             current_offset = 50                                                
  545. (XEN) irq.c:708: Going to set type                                                                                                      
  546. (XEN) device_tree.c:1476: Before dt_irq_find_parent of tps659038                                                                        
  547. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  548. (XEN) device_tree.c:1476: Before dt_irq_find_parent of tps659038_rtc                                                                    
  549. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  550. (XEN) device_tree.c:1476: Before dt_irq_find_parent of tps659038_pwr_button                                                            
  551. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  552. (XEN) device_tree.c:1476: Before dt_irq_find_parent of tmp102                                                                          
  553. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  554. (XEN) device_tree.c:1476: Before dt_irq_find_parent of i2c                                                                              
  555. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  556. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  557. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  558. (XEN) device_tree.c:1476: Before dt_irq_find_parent of i2c                                                                              
  559. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  560. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  561. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  562. (XEN) gic.c:211: Map the disabled device irq to line 191                                                                                
  563. (XEN) irq.c:708: Going to set type                                                                                                      
  564. (XEN) device_tree.c:1476: Before dt_irq_find_parent of elm                                                                              
  565. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  566. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  567. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  568. (XEN) device_tree.c:1476: Before dt_irq_find_parent of elm                                                                              
  569. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  570. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  571. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  572. (XEN) gic.c:211: Map the disabled device irq to line 191                                                                                
  573. (XEN) irq.c:708: Going to set type                                                                                                      
  574. (XEN) device_tree.c:1476: Before dt_irq_find_parent of i2c                                                                              
  575. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  576. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  577. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  578. (XEN) device_tree.c:1476: Before dt_irq_find_parent of i2c                                                                              
  579. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  580. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  581. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  582. (XEN) gic.c:211: Map the disabled device irq to line 191                                                                                
  583. (XEN) irq.c:708: Going to set type                                                                                                      
  584. (XEN) device_tree.c:1476: Before dt_irq_find_parent of i2c                                                                              
  585. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  586. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  587. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  588. (XEN) device_tree.c:1476: Before dt_irq_find_parent of i2c                                                                              
  589. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  590. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  591. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  592. (XEN) gic.c:211: Map the disabled device irq to line 191                                                                                
  593. (XEN) irq.c:708: Going to set type                                                                                                      
  594. (XEN) device_tree.c:1476: Before dt_irq_find_parent of timer                                                                            
  595. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  596. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  597. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  598. (XEN) device_tree.c:1476: Before dt_irq_find_parent of timer                                                                            
  599. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  600. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  601. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  602. (XEN) omap5.c:199: crossbar_id = 41, mapped to irq = 32,             current_offset = 52                                                
  603. (XEN) irq.c:708: Going to set type                                                                                                      
  604. (XEN) device_tree.c:1476: Before dt_irq_find_parent of timer                                                                            
  605. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  606. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  607. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  608. (XEN) device_tree.c:1476: Before dt_irq_find_parent of timer                                                                            
  609. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  610. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  611. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  612. (XEN) omap5.c:199: crossbar_id = 42, mapped to irq = 33,             current_offset = 54                                                
  613. (XEN) irq.c:708: Going to set type                                                                                                      
  614. (XEN) device_tree.c:1476: Before dt_irq_find_parent of rng                                                                              
  615. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  616. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  617. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  618. (XEN) device_tree.c:1476: Before dt_irq_find_parent of rng                                                                              
  619. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  620. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  621. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  622. (XEN) omap5.c:199: crossbar_id = 47, mapped to irq = 34,             current_offset = 56                                                
  623. (XEN) irq.c:708: Going to set type                                                                                                      
  624. (XEN) device_tree.c:1476: Before dt_irq_find_parent of spi                                                                              
  625. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  626. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  627. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  628. (XEN) device_tree.c:1476: Before dt_irq_find_parent of spi                                                                              
  629. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  630. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  631. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  632. (XEN) gic.c:211: Map the disabled device irq to line 191                                                                                
  633. (XEN) irq.c:708: Going to set type                                                                                                      
  634. (XEN) device_tree.c:1476: Before dt_irq_find_parent of spi                                                                              
  635. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  636. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  637. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  638. (XEN) device_tree.c:1476: Before dt_irq_find_parent of spi                                                                              
  639. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  640. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  641. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  642. (XEN) gic.c:211: Map the disabled device irq to line 191                                                                                
  643. (XEN) irq.c:708: Going to set type                                                                                                      
  644. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mmc                                                                              
  645. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  646. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  647. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  648. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mmc                                                                              
  649. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  650. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  651. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  652. (XEN) gic.c:211: Map the disabled device irq to line 191                                                                                
  653. (XEN) irq.c:708: Going to set type                                                                                                      
  654. (XEN) device_tree.c:1476: Before dt_irq_find_parent of 1w                                                                              
  655. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  656. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  657. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  658. (XEN) device_tree.c:1476: Before dt_irq_find_parent of 1w                                                                              
  659. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  660. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  661. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  662. (XEN) omap5.c:199: crossbar_id = 53, mapped to irq = 35,             current_offset = 58                                                
  663. (XEN) irq.c:708: Going to set type                                                                                                      
  664. (XEN) device_tree.c:1476: Before dt_irq_find_parent of spi                                                                              
  665. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  666. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  667. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  668. (XEN) device_tree.c:1476: Before dt_irq_find_parent of spi                                                                              
  669. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  670. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  671. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  672. (XEN) gic.c:211: Map the disabled device irq to line 191                                                                                
  673. (XEN) irq.c:708: Going to set type                                                                                                      
  674. (XEN) device_tree.c:1476: Before dt_irq_find_parent of spi                                                                              
  675. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  676. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  677. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  678. (XEN) device_tree.c:1476: Before dt_irq_find_parent of spi                                                                              
  679. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  680. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  681. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  682. (XEN) gic.c:211: Map the disabled device irq to line 191                                                                                
  683. (XEN) irq.c:708: Going to set type                                                                                                      
  684. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mmc                                                                              
  685. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  686. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  687. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  688. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mmc                                                                              
  689. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  690. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  691. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  692. (XEN) gic.c:211: Map the disabled device irq to line 191                                                                                
  693. (XEN) irq.c:708: Going to set type                                                                                                      
  694. (XEN) device_tree.c:1476: Before dt_irq_find_parent of serial                                                                          
  695. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  696. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  697. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  698. (XEN) device_tree.c:1476: Before dt_irq_find_parent of serial                                                                          
  699. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  700. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  701. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  702. (XEN) gic.c:211: Map the disabled device irq to line 191                                                                                
  703. (XEN) irq.c:708: Going to set type                                                                                                      
  704. (XEN) device_tree.c:1476: Before dt_irq_find_parent of serial                                                                          
  705. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  706. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  707. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  708. (XEN) device_tree.c:1476: Before dt_irq_find_parent of serial                                                                          
  709. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  710. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  711. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  712. (XEN) gic.c:211: Map the disabled device irq to line 191                                                                                
  713. (XEN) irq.c:708: Going to set type                                                                                                      
  714. (XEN) device_tree.c:1476: Before dt_irq_find_parent of serial                                                                          
  715. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  716. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  717. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  718. (XEN) device_tree.c:1476: Before dt_irq_find_parent of serial                                                                          
  719. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  720. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  721. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  722. (XEN) gic.c:211: Map the disabled device irq to line 191                                                                                
  723. (XEN) irq.c:708: Going to set type                                                                                                      
  724. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mcasp                                                                            
  725. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  726. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  727. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  728. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mcasp                                                                            
  729. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  730. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  731. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  732. (XEN) gic.c:211: Map the disabled device irq to line 191                                                                                
  733. (XEN) irq.c:708: Going to set type                                                                                                      
  734. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mcasp                                                                            
  735. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  736. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  737. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  738. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mcasp                                                                            
  739. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  740. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  741. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  742. (XEN) gic.c:211: Map the disabled device irq to line 191                                                                                
  743. (XEN) irq.c:708: Going to set type                                                                                                      
  744. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mcasp                                                                            
  745. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  746. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  747. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  748. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mcasp                                                                            
  749. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  750. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  751. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  752. (XEN) gic.c:211: Map the disabled device irq to line 191                                                                                
  753. (XEN) irq.c:708: Going to set type                                                                                                      
  754. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mcasp                                                                            
  755. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  756. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  757. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  758. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mcasp                                                                            
  759. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  760. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  761. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  762. (XEN) gic.c:211: Map the disabled device irq to line 191                                                                                
  763. (XEN) irq.c:708: Going to set type                                                                                                      
  764. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mcasp                                                                            
  765. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  766. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  767. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  768. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mcasp                                                                            
  769. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  770. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  771. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  772. (XEN) omap5.c:199: crossbar_id = 151, mapped to irq = 36,             current_offset = 60                                              
  773. (XEN) irq.c:708: Going to set type                                                                                                      
  774. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mcasp                                                                            
  775. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  776. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  777. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  778. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mcasp                                                                            
  779. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  780. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  781. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  782. (XEN) omap5.c:199: crossbar_id = 150, mapped to irq = 37,             current_offset = 62                                              
  783. (XEN) irq.c:708: Going to set type                                                                                                      
  784. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mcasp                                                                            
  785. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  786. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  787. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  788. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mcasp                                                                            
  789. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  790. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  791. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  792. (XEN) gic.c:211: Map the disabled device irq to line 191                                                                                
  793. (XEN) irq.c:708: Going to set type                                                                                                      
  794. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mcasp                                                                            
  795. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  796. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  797. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  798. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mcasp                                                                            
  799. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  800. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  801. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  802. (XEN) gic.c:211: Map the disabled device irq to line 191                                                                                
  803. (XEN) irq.c:708: Going to set type                                                                                                      
  804. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mcasp                                                                            
  805. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  806. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  807. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  808. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mcasp                                                                            
  809. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  810. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  811. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  812. (XEN) gic.c:211: Map the disabled device irq to line 191                                                                                
  813. (XEN) irq.c:708: Going to set type                                                                                                      
  814. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mcasp                                                                            
  815. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  816. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  817. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  818. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mcasp                                                                            
  819. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  820. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  821. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  822. (XEN) gic.c:211: Map the disabled device irq to line 191                                                                                
  823. (XEN) irq.c:708: Going to set type                                                                                                      
  824. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mcasp                                                                            
  825. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  826. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  827. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  828. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mcasp                                                                            
  829. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  830. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  831. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  832. (XEN) gic.c:211: Map the disabled device irq to line 191                                                                                
  833. (XEN) irq.c:708: Going to set type                                                                                                      
  834. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mcasp                                                                            
  835. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  836. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  837. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  838. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mcasp                                                                            
  839. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  840. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  841. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  842. (XEN) gic.c:211: Map the disabled device irq to line 191                                                                                
  843. (XEN) irq.c:708: Going to set type                                                                                                      
  844. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mcasp                                                                            
  845. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  846. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  847. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  848. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mcasp                                                                            
  849. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  850. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  851. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  852. (XEN) gic.c:211: Map the disabled device irq to line 191                                                                                
  853. (XEN) irq.c:708: Going to set type                                                                                                      
  854. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mcasp                                                                            
  855. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  856. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  857. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  858. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mcasp                                                                            
  859. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  860. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  861. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  862. (XEN) gic.c:211: Map the disabled device irq to line 191                                                                                
  863. (XEN) irq.c:708: Going to set type                                                                                                      
  864. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mcasp                                                                            
  865. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  866. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  867. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  868. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mcasp                                                                            
  869. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  870. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  871. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  872. (XEN) gic.c:211: Map the disabled device irq to line 191                                                                                
  873. (XEN) irq.c:708: Going to set type                                                                                                      
  874. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mcasp                                                                            
  875. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  876. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  877. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  878. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mcasp                                                                            
  879. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  880. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  881. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  882. (XEN) gic.c:211: Map the disabled device irq to line 191                                                                                
  883. (XEN) irq.c:708: Going to set type                                                                                                      
  884. (XEN) device_tree.c:1476: Before dt_irq_find_parent of can                                                                              
  885. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  886. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  887. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  888. (XEN) device_tree.c:1476: Before dt_irq_find_parent of can                                                                              
  889. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  890. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  891. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  892. (XEN) gic.c:211: Map the disabled device irq to line 191                                                                                
  893. (XEN) irq.c:708: Going to set type                                                                                                      
  894. (XEN) device_tree.c:1476: Before dt_irq_find_parent of ethernet                                                                        
  895. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  896. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  897. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  898. (XEN) device_tree.c:1476: Before dt_irq_find_parent of ethernet                                                                        
  899. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  900. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  901. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  902. (XEN) omap5.c:199: crossbar_id = 334, mapped to irq = 38,             current_offset = 64                                              
  903. (XEN) irq.c:708: Going to set type                                                                                                      
  904. (XEN) device_tree.c:1476: Before dt_irq_find_parent of ethernet                                                                        
  905. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  906. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  907. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  908. (XEN) device_tree.c:1476: Before dt_irq_find_parent of ethernet                                                                        
  909. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  910. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  911. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  912. (XEN) omap5.c:199: crossbar_id = 335, mapped to irq = 39,             current_offset = 66                                              
  913. (XEN) irq.c:708: Going to set type                                                                                                      
  914. (XEN) device_tree.c:1476: Before dt_irq_find_parent of ethernet                                                                        
  915. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  916. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  917. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  918. (XEN) device_tree.c:1476: Before dt_irq_find_parent of ethernet                                                                        
  919. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  920. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  921. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  922. (XEN) omap5.c:199: crossbar_id = 336, mapped to irq = 40,             current_offset = 68                                              
  923. (XEN) irq.c:708: Going to set type                                                                                                      
  924. (XEN) device_tree.c:1476: Before dt_irq_find_parent of ethernet                                                                        
  925. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  926. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  927. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  928. (XEN) device_tree.c:1476: Before dt_irq_find_parent of ethernet                                                                        
  929. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  930. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  931. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  932. (XEN) omap5.c:199: crossbar_id = 337, mapped to irq = 41,             current_offset = 70                                              
  933. (XEN) irq.c:708: Going to set type                                                                                                      
  934. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  935. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  936. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  937. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  938. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  939. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  940. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  941. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  942. (XEN) gic.c:211: Map the disabled device irq to line 191                                                                                
  943. (XEN) irq.c:708: Going to set type                                                                                                      
  944. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  945. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  946. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  947. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  948. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  949. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  950. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  951. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  952. (XEN) gic.c:211: Map the disabled device irq to line 191                                                                                
  953. (XEN) irq.c:708: Going to set type                                                                                                      
  954. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  955. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  956. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  957. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  958. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  959. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  960. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  961. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  962. (XEN) gic.c:211: Map the disabled device irq to line 191                                                                                
  963. (XEN) irq.c:708: Going to set type                                                                                                      
  964. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  965. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  966. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  967. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  968. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  969. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  970. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  971. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  972. (XEN) gic.c:211: Map the disabled device irq to line 191                                                                                
  973. (XEN) irq.c:708: Going to set type                                                                                                      
  974. (XEN) device_tree.c:1476: Before dt_irq_find_parent of timer                                                                            
  975. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  976. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  977. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  978. (XEN) device_tree.c:1476: Before dt_irq_find_parent of timer                                                                            
  979. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  980. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  981. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  982. (XEN) omap5.c:199: crossbar_id = 36, mapped to irq = 42,             current_offset = 72                                                
  983. (XEN) irq.c:708: Going to set type                                                                                                      
  984. (XEN) device_tree.c:1476: Before dt_irq_find_parent of timer                                                                            
  985. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  986. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  987. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  988. (XEN) device_tree.c:1476: Before dt_irq_find_parent of timer                                                                            
  989. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  990. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  991. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  992. (XEN) omap5.c:199: crossbar_id = 37, mapped to irq = 43,             current_offset = 74                                                
  993. (XEN) irq.c:708: Going to set type                                                                                                      
  994. (XEN) device_tree.c:1476: Before dt_irq_find_parent of timer                                                                            
  995. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  996. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  997. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  998. (XEN) device_tree.c:1476: Before dt_irq_find_parent of timer                                                                            
  999. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  1000. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1001. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  1002. (XEN) omap5.c:199: crossbar_id = 38, mapped to irq = 44,             current_offset = 76                                                
  1003. (XEN) irq.c:708: Going to set type                                                                                                      
  1004. (XEN) device_tree.c:1476: Before dt_irq_find_parent of timer                                                                            
  1005. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1006. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  1007. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  1008. (XEN) device_tree.c:1476: Before dt_irq_find_parent of timer                                                                            
  1009. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  1010. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1011. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  1012. (XEN) omap5.c:199: crossbar_id = 39, mapped to irq = 45,             current_offset = 78                                                
  1013. (XEN) irq.c:708: Going to set type                                                                                                      
  1014. (XEN) device_tree.c:1476: Before dt_irq_find_parent of timer                                                                            
  1015. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1016. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  1017. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  1018. (XEN) device_tree.c:1476: Before dt_irq_find_parent of timer                                                                            
  1019. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  1020. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1021. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  1022. (XEN) omap5.c:199: crossbar_id = 339, mapped to irq = 46,             current_offset = 80                                              
  1023. (XEN) irq.c:708: Going to set type                                                                                                      
  1024. (XEN) device_tree.c:1476: Before dt_irq_find_parent of timer                                                                            
  1025. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1026. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  1027. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  1028. (XEN) device_tree.c:1476: Before dt_irq_find_parent of timer                                                                            
  1029. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  1030. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1031. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  1032. (XEN) omap5.c:199: crossbar_id = 340, mapped to irq = 47,             current_offset = 82                                              
  1033. (XEN) irq.c:708: Going to set type                                                                                                      
  1034. (XEN) device_tree.c:1476: Before dt_irq_find_parent of timer                                                                            
  1035. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1036. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  1037. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  1038. (XEN) device_tree.c:1476: Before dt_irq_find_parent of timer                                                                            
  1039. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  1040. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1041. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  1042. (XEN) omap5.c:199: crossbar_id = 341, mapped to irq = 48,             current_offset = 84                                              
  1043. (XEN) irq.c:708: Going to set type                                                                                                      
  1044. (XEN) device_tree.c:1476: Before dt_irq_find_parent of timer                                                                            
  1045. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1046. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  1047. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  1048. (XEN) device_tree.c:1476: Before dt_irq_find_parent of timer                                                                            
  1049. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  1050. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1051. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  1052. (XEN) omap5.c:199: crossbar_id = 342, mapped to irq = 49,             current_offset = 86                                              
  1053. (XEN) irq.c:708: Going to set type                                                                                                      
  1054. (XEN) device_tree.c:1476: Before dt_irq_find_parent of rtc                                                                              
  1055. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1056. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  1057. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  1058. (XEN) device_tree.c:1476: Before dt_irq_find_parent of rtc                                                                              
  1059. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  1060. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1061. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  1062. (XEN) omap5.c:199: crossbar_id = 217, mapped to irq = 50,             current_offset = 88                                              
  1063. (XEN) irq.c:708: Going to set type                                                                                                      
  1064. (XEN) device_tree.c:1476: Before dt_irq_find_parent of rtc                                                                              
  1065. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1066. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  1067. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  1068. (XEN) device_tree.c:1476: Before dt_irq_find_parent of rtc                                                                              
  1069. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  1070. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1071. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  1072. (XEN) omap5.c:199: crossbar_id = 217, mapped to irq = 51,             current_offset = 90                                              
  1073. (XEN) irq.c:708: Going to set type                                                                                                      
  1074. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1075. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1076. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  1077. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  1078. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1079. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  1080. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1081. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  1082. (XEN) gic.c:211: Map the disabled device irq to line 191                                                                                
  1083. (XEN) irq.c:708: Going to set type                                                                                                      
  1084. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1085. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1086. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  1087. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  1088. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1089. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  1090. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1091. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  1092. (XEN) gic.c:211: Map the disabled device irq to line 191                                                                                
  1093. (XEN) irq.c:708: Going to set type                                                                                                      
  1094. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1095. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1096. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  1097. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  1098. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1099. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  1100. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1101. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  1102. (XEN) gic.c:211: Map the disabled device irq to line 191                                                                                
  1103. (XEN) irq.c:708: Going to set type                                                                                                      
  1104. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1105. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1106. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  1107. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  1108. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1109. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  1110. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1111. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  1112. (XEN) gic.c:211: Map the disabled device irq to line 191                                                                                
  1113. (XEN) irq.c:708: Going to set type                                                                                                      
  1114. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1115. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1116. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  1117. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  1118. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1119. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  1120. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1121. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  1122. (XEN) gic.c:211: Map the disabled device irq to line 191                                                                                
  1123. (XEN) irq.c:708: Going to set type                                                                                                      
  1124. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1125. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1126. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  1127. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  1128. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1129. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  1130. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1131. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  1132. (XEN) gic.c:211: Map the disabled device irq to line 191                                                                                
  1133. (XEN) irq.c:708: Going to set type                                                                                                      
  1134. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1135. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1136. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  1137. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  1138. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1139. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  1140. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1141. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  1142. (XEN) gic.c:211: Map the disabled device irq to line 191                                                                                
  1143. (XEN) irq.c:708: Going to set type                                                                                                      
  1144. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1145. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1146. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  1147. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  1148. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1149. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  1150. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1151. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  1152. (XEN) gic.c:211: Map the disabled device irq to line 191                                                                                
  1153. (XEN) irq.c:708: Going to set type                                                                                                      
  1154. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1155. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1156. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  1157. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  1158. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1159. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  1160. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1161. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  1162. (XEN) gic.c:211: Map the disabled device irq to line 191                                                                                
  1163. (XEN) irq.c:708: Going to set type                                                                                                      
  1164. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1165. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1166. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  1167. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  1168. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1169. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  1170. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1171. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  1172. (XEN) gic.c:211: Map the disabled device irq to line 191                                                                                
  1173. (XEN) irq.c:708: Going to set type                                                                                                      
  1174. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1175. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1176. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  1177. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  1178. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1179. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  1180. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1181. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  1182. (XEN) gic.c:211: Map the disabled device irq to line 191                                                                                
  1183. (XEN) irq.c:708: Going to set type                                                                                                      
  1184. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1185. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1186. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  1187. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  1188. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1189. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  1190. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1191. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  1192. (XEN) gic.c:211: Map the disabled device irq to line 191                                                                                
  1193. (XEN) irq.c:708: Going to set type                                                                                                      
  1194. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1195. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1196. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  1197. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  1198. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1199. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  1200. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1201. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  1202. (XEN) omap5.c:199: crossbar_id = 249, mapped to irq = 52,             current_offset = 92                                              
  1203. (XEN) irq.c:708: Going to set type                                                                                                      
  1204. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1205. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1206. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  1207. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  1208. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1209. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  1210. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1211. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  1212. (XEN) omap5.c:199: crossbar_id = 250, mapped to irq = 53,             current_offset = 94                                              
  1213. (XEN) irq.c:708: Going to set type                                                                                                      
  1214. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1215. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1216. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  1217. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  1218. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1219. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  1220. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1221. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  1222. (XEN) omap5.c:199: crossbar_id = 251, mapped to irq = 54,             current_offset = 96                                              
  1223. (XEN) irq.c:708: Going to set type                                                                                                      
  1224. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1225. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1226. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  1227. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  1228. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1229. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  1230. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1231. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  1232. (XEN) omap5.c:199: crossbar_id = 252, mapped to irq = 55,             current_offset = 98                                              
  1233. (XEN) irq.c:708: Going to set type                                                                                                      
  1234. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1235. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1236. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  1237. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  1238. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1239. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  1240. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1241. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  1242. (XEN) omap5.c:199: crossbar_id = 253, mapped to irq = 56,             current_offset = 100                                              
  1243. (XEN) irq.c:708: Going to set type                                                                                                      
  1244. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1245. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1246. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  1247. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  1248. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1249. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  1250. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1251. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  1252. (XEN) omap5.c:199: crossbar_id = 254, mapped to irq = 57,             current_offset = 102                                              
  1253. (XEN) irq.c:708: Going to set type                                                                                                      
  1254. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1255. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1256. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  1257. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  1258. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1259. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  1260. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1261. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  1262. (XEN) omap5.c:199: crossbar_id = 255, mapped to irq = 58,             current_offset = 104                                              
  1263. (XEN) irq.c:708: Going to set type                                                                                                      
  1264. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1265. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1266. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  1267. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  1268. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1269. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  1270. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1271. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  1272. (XEN) omap5.c:199: crossbar_id = 256, mapped to irq = 59,             current_offset = 106                                              
  1273. (XEN) irq.c:708: Going to set type                                                                                                      
  1274. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1275. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1276. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  1277. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  1278. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1279. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  1280. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1281. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  1282. (XEN) gic.c:211: Map the disabled device irq to line 191                                                                                
  1283. (XEN) irq.c:708: Going to set type                                                                                                      
  1284. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1285. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1286. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  1287. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  1288. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1289. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  1290. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1291. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  1292. (XEN) gic.c:211: Map the disabled device irq to line 191                                                                                
  1293. (XEN) irq.c:708: Going to set type                                                                                                      
  1294. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1295. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1296. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  1297. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  1298. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1299. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  1300. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1301. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  1302. (XEN) gic.c:211: Map the disabled device irq to line 191                                                                                
  1303. (XEN) irq.c:708: Going to set type                                                                                                      
  1304. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1305. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1306. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  1307. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  1308. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1309. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  1310. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1311. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  1312. (XEN) gic.c:211: Map the disabled device irq to line 191                                                                                
  1313. (XEN) irq.c:708: Going to set type                                                                                                      
  1314. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1315. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1316. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  1317. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  1318. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1319. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  1320. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1321. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  1322. (XEN) gic.c:211: Map the disabled device irq to line 191                                                                                
  1323. (XEN) irq.c:708: Going to set type                                                                                                      
  1324. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1325. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1326. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  1327. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  1328. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1329. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  1330. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1331. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  1332. (XEN) gic.c:211: Map the disabled device irq to line 191                                                                                
  1333. (XEN) irq.c:708: Going to set type                                                                                                      
  1334. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1335. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1336. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  1337. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  1338. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1339. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  1340. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1341. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  1342. (XEN) gic.c:211: Map the disabled device irq to line 191                                                                                
  1343. (XEN) irq.c:708: Going to set type                                                                                                      
  1344. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1345. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1346. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  1347. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  1348. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1349. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  1350. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1351. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  1352. (XEN) gic.c:211: Map the disabled device irq to line 191                                                                                
  1353. (XEN) irq.c:708: Going to set type                                                                                                      
  1354. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1355. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1356. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  1357. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  1358. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1359. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  1360. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1361. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  1362. (XEN) gic.c:211: Map the disabled device irq to line 191                                                                                
  1363. (XEN) irq.c:708: Going to set type                                                                                                      
  1364. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1365. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1366. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  1367. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  1368. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1369. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  1370. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1371. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  1372. (XEN) gic.c:211: Map the disabled device irq to line 191                                                                                
  1373. (XEN) irq.c:708: Going to set type                                                                                                      
  1374. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1375. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1376. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  1377. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  1378. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1379. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  1380. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1381. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  1382. (XEN) gic.c:211: Map the disabled device irq to line 191                                                                                
  1383. (XEN) irq.c:708: Going to set type                                                                                                      
  1384. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1385. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1386. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  1387. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  1388. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1389. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  1390. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1391. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  1392. (XEN) gic.c:211: Map the disabled device irq to line 191                                                                                
  1393. (XEN) irq.c:708: Going to set type                                                                                                      
  1394. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1395. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1396. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  1397. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  1398. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1399. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  1400. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1401. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  1402. (XEN) gic.c:211: Map the disabled device irq to line 191                                                                                
  1403. (XEN) irq.c:708: Going to set type                                                                                                      
  1404. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1405. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1406. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  1407. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  1408. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1409. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  1410. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1411. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  1412. (XEN) gic.c:211: Map the disabled device irq to line 191                                                                                
  1413. (XEN) irq.c:708: Going to set type                                                                                                      
  1414. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1415. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1416. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  1417. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  1418. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1419. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  1420. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1421. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  1422. (XEN) gic.c:211: Map the disabled device irq to line 191                                                                                
  1423. (XEN) irq.c:708: Going to set type                                                                                                      
  1424. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1425. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1426. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  1427. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  1428. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1429. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  1430. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1431. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  1432. (XEN) gic.c:211: Map the disabled device irq to line 191                                                                                
  1433. (XEN) irq.c:708: Going to set type                                                                                                      
  1434. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1435. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1436. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  1437. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  1438. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1439. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  1440. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1441. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  1442. (XEN) gic.c:211: Map the disabled device irq to line 191                                                                                
  1443. (XEN) irq.c:708: Going to set type                                                                                                      
  1444. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1445. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1446. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  1447. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  1448. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1449. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  1450. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1451. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  1452. (XEN) gic.c:211: Map the disabled device irq to line 191                                                                                
  1453. (XEN) irq.c:708: Going to set type                                                                                                      
  1454. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1455. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1456. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  1457. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  1458. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1459. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  1460. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1461. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  1462. (XEN) gic.c:211: Map the disabled device irq to line 191                                                                                
  1463. (XEN) irq.c:708: Going to set type                                                                                                      
  1464. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1465. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1466. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  1467. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  1468. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1469. (XEN) device_tree.c:1538: Before irq translate                                                                                          
  1470. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1471. (XEN) device_tree.c:1523: After dt_interrupt_controller check                                                                          
  1472. (XEN) gic.c:211: Map the disabled device irq to line 191                                                                                
  1473. (XEN) irq.c:708: Going to set type                                                                                                      
  1474. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox                                                                          
  1475. (XEN) platform.c:160: In platform_irq_is_routable                                                                                      
  1476. (XEN) irq.c:701: Going to try to get IRQ                                                                                                
  1477. (XEN) device_tree.c:1533: Going to get raw IRQ                                                                                          
  1478. (XEN) device_tree.c:1476: Before dt_irq_find_parent of mailbox