#include <serial.h>
#include <fb.h>
#include <output.h>
+#include <msr.h>
#include "../net/net.h"
#include "vga-overlay.h"
{
char statstr[512];
+ /* Reenable caching on SMRAM. */
+ WRMSR(0x202, (RDMSR(0x202) & ~(0xFFULL)) | 0x06ULL);
+
pcisave = inl(0xCF8);
vgasave = inb(0x3D4);
pci_unbother_all();
pci_bother_all();
outl(0xCF8, pcisave);
outb(0x3D4, vgasave);
+
+ /* Disable caching on SMRAM again, to prevent the user from whacking us. */
+ WRMSR(0x202, RDMSR(0x202) & ~(0xFFULL));
}
extern void timer_handler(smi_event_t ev);
--- /dev/null
+#ifndef _MSR_H
+#define _MSR_H
+
+#define WRMSR(ad, da) \
+ do { \
+ unsigned long __a = (ad); \
+ unsigned long long __d = (da); \
+ asm volatile("wrmsr" : : "c" (__a), "A" (__d)); \
+ } while (0)
+#define RDMSR(ad) \
+ ({ \
+ unsigned long __a = (ad); \
+ unsigned long long __d; \
+ asm volatile("rdmsr" : "=A" (__d) : "c" (__a)); \
+ __d; \
+ })
+
+#endif