K 10 svn:author V 4 loos K 8 svn:date V 27 2015-01-30T18:18:09.364671Z K 7 svn:log V 289 The BCM2835 GPIO controller uses has interrupt lines and not only one. Allocate all four, we will use them soon. Simplificate the allocation of memory and interrupt resources with a single bus_alloc_resources() call instead of doing them separately. Destroy the mutex in case of errors. END