#include <stdio.h>
#include <errno.h>
#include <stdint.h>
+#include <string.h>
#include "rte_cpuid.h"
return NULL;
return rte_cpu_feature_table[feature].name;
}
+
+void
+rte_cpu_get_intrinsics_support(struct rte_cpu_intrinsics *intrinsics)
+{
+ memset(intrinsics, 0, sizeof(*intrinsics));
+
+ if (rte_cpu_get_flag_enabled(RTE_CPUFLAG_WAITPKG)) {
+ intrinsics->power_monitor = 1;
+ intrinsics->power_pause = 1;
+ }
+}