Monitor command showmappings updates

[akaros.git] / kern / arch / x86 / x86.h

diff --git a/kern/arch/x86/x86.h b/kern/arch/x86/x86.h
index 7d3dacd..ff71352 100644 (file)
--- a/kern/arch/x86/x86.h
+++ b/kern/arch/x86/x86.h
@@ -187,6 +187,7 @@ static inline unsigned long read_sp(void) __attribute__((always_inline));
 static inline void cpuid(uint32_t info1, uint32_t info2, uint32_t *eaxp,
                          uint32_t *ebxp, uint32_t *ecxp, uint32_t *edxp)
                                                               __attribute__((always_inline));
+static inline uint32_t cpuid_ecx(int op) __attribute__((always_inline));
 static inline uint64_t read_msr(uint32_t reg) __attribute__((always_inline));
 static inline void write_msr(uint32_t reg, uint64_t val)
               __attribute__((always_inline));
@@ -390,6 +391,13 @@ static inline void cpuid(uint32_t info1, uint32_t info2, uint32_t *eaxp,
                *edxp = edx;
 }
 
+static inline uint32_t cpuid_ecx(int opcode)
+{
+       uint32_t ecx;
+       cpuid(1, 0, NULL, NULL, &ecx, NULL);
+       return ecx;
+}
+
 // Might need to mfence rdmsr.  supposedly wrmsr serializes, but not for x2APIC
 static inline uint64_t read_msr(uint32_t reg)
 {