@@ -107,6 +107,7 @@ int32_t pci_get_interrupt_cause(void)
{
int32_t handle;
int32_t *hdl = &handles[0];
/*
* loop through all PCI devices...
*/
The note is not visible to the blocked user.