/* total # of controllers, for ioctl interface */