该系统使用其中一种混合 Intel/ATI 产品（无复用器）进行设置。在对内核设置和驱动程序进行了一些摆弄之后，我认为这两张卡都能正常工作（在内核设置中添加 radeon.dpm=1 并仅使用开源驱动程序）。
但是我不知道系统使用的是哪张卡。根据我对较新内核 (3.12) 的理解，amd 动态电源管理将在需要时关闭/打开卡的电源，因此理论上它应该在大部分时间使用集成 hd4000，但是我找不到简单的方法检查哪个正在使用中。
lspci | grep VGA 只列出所有卡，并没有指定当前使用的是哪一张。
一些转向正确的方向非常感谢。
系统
Debian 7 稳定版，3.12 amd64 内核 7670M AMD + Intel HD4000