printf("hbtgtirqsta is 0x%x\n", val(mmcr, hostbridge.tgtirqsta));
printf("hbmstirqctl is 0x%x\n", val(mmcr, hostbridge.mstirqctl));
printf("hbmstirqsta is 0x%x\n", val(mmcr, hostbridge.mstirqsta));
printf("hbtgtirqsta is 0x%x\n", val(mmcr, hostbridge.tgtirqsta));
printf("hbmstirqctl is 0x%x\n", val(mmcr, hostbridge.mstirqctl));
printf("hbmstirqsta is 0x%x\n", val(mmcr, hostbridge.mstirqsta));