new VirtualControllerManager(type, ckey, busNumber);
/* Get the corresponding virtual controller manager
in the set, or the created one is added to the set. */
VirtualControllerManager vcmInSet = vcmSet.ceiling(vcm);
if (vcmInSet == null || vcmInSet.compareTo(vcm) != 0) {
vcmSet.add(vcm);
vcmInSet = vcm;
} else {
assert vcmInSet.compareTo(vcm) == 0;
}