/* Remaining bits in this 32-bit word are unused. */
 };
 
-typedef enum {
+enum visorchipset_addresstype {
        /** address is guest physical, but outside of the physical memory
         *  region that is controlled by the running OS (this is the normal
         *  address type for Supervisor channels)
         */
-       ADDRTYPE_localPhysical,
+       ADDRTYPE_LOCALPHYSICAL,
 
        /** address is guest physical, and withIN the confines of the
         *  physical memory controlled by the running OS.
         */
-       ADDRTYPE_localTest,
-} VISORCHIPSET_ADDRESSTYPE;
+       ADDRTYPE_LOCALTEST,
+};
 
 typedef enum {
        CRASH_dev,
 /** Attributes for a particular Supervisor channel.
  */
 typedef struct {
-       VISORCHIPSET_ADDRESSTYPE addrType;
+       enum visorchipset_addresstype addrType;
        HOSTADDRESS channelAddr;
        struct irq_info intr;
        u64 nChannelBytes;
 
        POSTCODE_LINUX_3(BUS_CREATE_ENTRY_PC, busNo, POSTCODE_SEVERITY_INFO);
 
        if (inmsg->hdr.flags.test_message == 1)
-               pBusInfo->chanInfo.addrType = ADDRTYPE_localTest;
+               pBusInfo->chanInfo.addrType = ADDRTYPE_LOCALTEST;
        else
-               pBusInfo->chanInfo.addrType = ADDRTYPE_localPhysical;
+               pBusInfo->chanInfo.addrType = ADDRTYPE_LOCALPHYSICAL;
 
        pBusInfo->flags.server = inmsg->hdr.flags.server;
        pBusInfo->chanInfo.channelAddr = cmd->create_bus.channel_addr;
                         POSTCODE_SEVERITY_INFO);
 
        if (inmsg->hdr.flags.test_message == 1)
-               pDevInfo->chanInfo.addrType = ADDRTYPE_localTest;
+               pDevInfo->chanInfo.addrType = ADDRTYPE_LOCALTEST;
        else
-               pDevInfo->chanInfo.addrType = ADDRTYPE_localPhysical;
+               pDevInfo->chanInfo.addrType = ADDRTYPE_LOCALPHYSICAL;
        pDevInfo->chanInfo.channelAddr = cmd->create_device.channel_addr;
        pDevInfo->chanInfo.nChannelBytes = cmd->create_device.channel_bytes;
        pDevInfo->chanInfo.channelTypeGuid = cmd->create_device.data_type_uuid;