I posted in the wrong forum earlier, I figured this would be the better forum for the issue I’m seeing:
Basically the memory usage is incorrect for any card in WDDM mode. If I enable TCC for the (supported) offending card, it then reports the correct memory usage for the K6000, but I can never get a correct memory usage readout for any cards that are not TCC-capable.
This has been verified as a bug in 2 different systems, an MSI X79A-GD45 (8D) motherboard, as well as a Gigabyte X58A-UD3R (rev. 2.0) motherboard, both with the latest BIOS versions.
See link below for further details and screenshots: