/*
 *  $Id: rdmsr.c,v 1.16 2003/06/09 22:15:20 davej Exp $
 *  This file is part of x86info.
 *  (C) 2001 Dave Jones.
 *
 *  Licensed under the terms of the GNU GPL License version 2.
 *
 *  Contributions by Arjan van de Ven & Philipp Rumpf.
 */

#include <stdio.h>
#include <stdlib.h>
#include <fcntl.h>
#include <sys/stat.h>
#include <sys/types.h>
#include <unistd.h>

int read_msr(int cpu, unsigned int idx, unsigned long long *val)
{
	char cpuname[16];
	unsigned char buffer[8];
	unsigned long lo, hi;
	int fh;
	static int nodriver=0;

	if (nodriver==1)
		return 0;

	sprintf (cpuname, "/dev/cpu/%d/msr", cpu);

	fh = open (cpuname, O_RDONLY);
	if (fh==-1) {
//		if (!silent)
			perror(cpuname);
		nodriver=1;
		return (0);
	}

	lseek (fh, idx, SEEK_CUR);

	if (fh != -1) {

		if (read (fh, &buffer[0], 8) != 8) {
			close (fh);
			return (0);
		}

		lo = (*(unsigned long *)buffer);
		hi = (*(unsigned long *)(buffer+4));
		*val = hi;
		*val = (*val<<32) | lo;
	}
	close (fh);
	return (1);
}


void dumpmsr (int cpu, unsigned int msr, int size)
{
	unsigned long long val=0;

	if (read_msr(cpu, msr, &val) == 1) {
			printf ("MSR: 0x%08x=0x%08lx : ", msr, (unsigned long) val);
			printf ("TEMP : %dC (100C MAX) ", 100 - ((unsigned long) val >> 16) & 0x7f );
			printf ("%s : \n", ((unsigned long) val >> 5) & 1 ? "ALARM" : "" );
	} else {
	printf ("Couldn't read MSR 0x%x\n", msr);
	}
}

int main(void)
{
dumpmsr(0,0x19c,32);
dumpmsr(1,0x19c,32);
dumpmsr(3,0x19c,32);
dumpmsr(4,0x19c,32);
}