sr_dma           3375 dev/acpi/dsdt.c 		printf("dma\t%.2x %.2x\n", crs->sr_dma.channel,
sr_dma           3376 dev/acpi/dsdt.c 		    crs->sr_dma.flags);
sr_dma            128 dev/acpi/dsdt.h 	}  __packed sr_dma;