Alter/display of interval timer now works

git-svn-id: file:///home/jj/hercules.svn/trunk@3607 956126f8-22a0-4046-8f4a-272fa8102e63
This commit is contained in:
Ivan Warren
2006-01-13 15:39:32 +00:00
parent ab5abd0c72
commit 039fcf49c1
5 changed files with 19 additions and 6 deletions

View File

@@ -33,7 +33,7 @@ S64 get_tod_epoch(void); /* Get TOD epoch */
U64 hw_clock(void); /* Get hardware clock */
S64 cpu_timer(REGS *); /* Retrieve CPU timer */
void set_cpu_timer(REGS *, S64); /* Set CPU timer */
S32 int_timer(REGS *); /* Get interval timer */
/* S32 int_timer(REGS *); */ /* Get interval timer */
void set_int_timer(REGS *, S32); /* Set interval timer */
U64 tod_clock(REGS *); /* Get TOD clock */
void set_tod_clock(U64); /* Set TOD clock */