// Autogenerated C header file for Power supply
#ifndef _JACDAC_SPEC_POWER_SUPPLY_H
#define _JACDAC_SPEC_POWER_SUPPLY_H 1

#define JD_SERVICE_CLASS_POWER_SUPPLY  0x1f40375f

/**
 * Read-write bool (uint8_t). Turns the power supply on with `true`, off with `false`.
 */
#define JD_POWER_SUPPLY_REG_ENABLED JD_REG_INTENSITY

/**
 * Read-write V f64 (uint64_t). The current output voltage of the power supply. Values provided must be in the range `minimum_voltage` to `maximum_voltage`
 */
#define JD_POWER_SUPPLY_REG_OUTPUT_VOLTAGE JD_REG_VALUE

/**
 * Constant V f64 (uint64_t). The minimum output voltage of the power supply. For fixed power supplies, `minimum_voltage` should be equal to `maximum_voltage`.
 */
#define JD_POWER_SUPPLY_REG_MINIMUM_VOLTAGE JD_REG_MIN_VALUE

/**
 * Constant V f64 (uint64_t). The maximum output voltage of the power supply. For fixed power supplies, `minimum_voltage` should be equal to `maximum_voltage`.
 */
#define JD_POWER_SUPPLY_REG_MAXIMUM_VOLTAGE JD_REG_MAX_VALUE

#endif