@@ -32,14 +32,14 @@
#include <acpi/acpi.h>
#include <acpi/cpufreq/cpufreq.h>
-#define HW_PSTATE_MASK 0x00000007
-#define HW_PSTATE_VALID_MASK 0x80000000
-#define HW_PSTATE_MAX_MASK 0x000000f0
+#define HW_PSTATE_MASK 0x00000007U
+#define HW_PSTATE_VALID_MASK 0x80000000U
+#define HW_PSTATE_MAX_MASK 0x000000f0U
#define HW_PSTATE_MAX_SHIFT 4
-#define MSR_PSTATE_DEF_BASE 0xc0010064 /* base of Pstate MSRs */
-#define MSR_PSTATE_STATUS 0xc0010063 /* Pstate Status MSR */
-#define MSR_PSTATE_CTRL 0xc0010062 /* Pstate control MSR */
-#define MSR_PSTATE_CUR_LIMIT 0xc0010061 /* pstate current limit MSR */
+#define MSR_PSTATE_DEF_BASE 0xc0010064U /* base of Pstate MSRs */
+#define MSR_PSTATE_STATUS 0xc0010063U /* Pstate Status MSR */
+#define MSR_PSTATE_CTRL 0xc0010062U /* Pstate control MSR */
+#define MSR_PSTATE_CUR_LIMIT 0xc0010061U /* pstate current limit MSR */
#define MSR_HWCR_CPBDIS_MASK 0x02000000ULL
#define ARCH_CPU_FLAG_RESUME 1
@@ -5,7 +5,7 @@
#include <public/sysctl.h>
#include <xen/acpi.h>
-#define XEN_PX_INIT 0x80000000
+#define XEN_PX_INIT 0x80000000U
int powernow_cpufreq_init(void);
unsigned int powernow_register_driver(void);