static unsigned long pdc_result2[NUM_PDC_RESULT] __aligned(8);
 
 #ifdef CONFIG_64BIT
-#define WIDE_FIRMWARE 0x1
-#define NARROW_FIRMWARE 0x2
+#define WIDE_FIRMWARE          PDC_MODEL_OS64
+#define NARROW_FIRMWARE                PDC_MODEL_OS32
 
-/* Firmware needs to be initially set to narrow to determine the 
+/* Firmware needs to be initially set to narrow to determine the
  * actual firmware width. */
-int parisc_narrow_firmware __ro_after_init = 2;
+int parisc_narrow_firmware __ro_after_init = NARROW_FIRMWARE;
 #endif
 
 /* On most currently-supported platforms, IODC I/O calls are 32-bit calls
        if (pdc_result[0] != NARROW_FIRMWARE)
                parisc_narrow_firmware = 0;
 }
-       
+
 /**
  * set_firmware_width - Determine if the firmware is wide or narrow.
- * 
+ *
  * This function must be called before any pdc_* function that uses the
  * convert_to_wide function.
  */
        unsigned long flags;
 
        /* already initialized? */
-       if (parisc_narrow_firmware != 2)
+       if (parisc_narrow_firmware != NARROW_FIRMWARE)
                return;
 
        spin_lock_irqsave(&pdc_lock, flags);