source: vbox@ 42811

Name	Size	Rev	Age	Author	Last Change
trunk		42811	13 years	vboxsync	BIOS: Use macros for getting controller specific device numbers.

Note: See TracBrowser for help on using the repository browser.