Brilliant, thanks for that detail.
Is there some document I could have read to know that? Some kind of raspberry PI documentation in addition to the Broadcom chip docs, or is it just something that you need to be reading the code to work out?
Joe