2 * This file is part of the Palacios Virtual Machine Monitor developed
3 * by the V3VEE Project with funding from the United States National
4 * Science Foundation and the Department of Energy.
6 * The V3VEE Project is a joint project between Northwestern University
7 * and the University of New Mexico. You can find out more at
10 * Copyright (c) 2008, Jack Lange <jarusl@cs.northwestern.edu>
11 * Copyright (c) 2008, The V3VEE Project <http://www.v3vee.org>
12 * All rights reserved.
14 * Author: Jack Lange <jarusl@cs.northwestern.edu>
16 * This is free software. You are permitted to use,
17 * redistribute, and modify it as specified in the file "V3VEE_LICENSE".
20 #include <devices/8254.h>
21 #include <palacios/vmm.h>
22 #include <palacios/vmm_time.h>
23 #include <palacios/vmm_util.h>
24 #include <palacios/vmm_intr.h>
30 #define PrintDebug(fmt, args...)
36 #define OSC_HZ 1193182
39 /* The 8254 has three counters and one control port */
40 #define CHANNEL0_PORT 0x40
41 #define CHANNEL1_PORT 0x41
42 #define CHANNEL2_PORT 0x42
43 #define COMMAND_PORT 0x43
46 #define PIT_INTR_NUM 0
48 /* The order of these typedefs is important because the numerical values correspond to the
49 * values coming from the io ports
51 typedef enum {NOT_RUNNING, PENDING, RUNNING} channel_run_state_t;
52 typedef enum {NOT_WAITING, WAITING_LOBYTE, WAITING_HIBYTE} channel_access_state_t;
53 typedef enum {LATCH_COUNT, LOBYTE_ONLY, HIBYTE_ONLY, LOBYTE_HIBYTE} channel_access_mode_t;
54 typedef enum {IRQ_ON_TERM_CNT, ONE_SHOT, RATE_GEN, SQR_WAVE, SW_STROBE, HW_STROBE} channel_op_mode_t;
58 channel_access_mode_t access_mode;
59 channel_access_state_t access_state;
60 channel_run_state_t run_state;
62 channel_op_mode_t op_mode;
65 // Time til interrupt trigger
68 ushort_t reload_value;
70 ushort_t latched_value;
72 enum {NOTLATCHED, LATCHED} latch_state;
74 enum {LSB, MSB} read_state;
76 uint_t output_pin : 1;
77 uint_t gate_input_pin : 1;
96 uint_t access_mode : 2;
100 struct pit_rdb_cmd_word {
101 uint_t rsvd : 1; // SBZ
105 uint_t latch_status : 1;
106 uint_t latch_count : 1;
107 uint_t readback_cmd : 2; // Must Be 0x3
110 struct pit_rdb_status_word {
113 uint_t access_mode : 2;
114 uint_t null_count : 1;
115 uint_t pin_state : 1;
121 * This should call out to handle_SQR_WAVE_tics, etc...
123 // Returns true if the the output signal changed state
124 static int handle_crystal_tics(struct vm_device * dev, struct channel * ch, uint_t oscillations) {
125 uint_t channel_cycles = 0;
126 uint_t output_changed = 0;
128 // PrintDebug("8254 PIT: %d crystal tics\n", oscillations);
129 if (ch->run_state == PENDING) {
131 ch->counter = ch->reload_value;
133 if (ch->op_mode == SQR_WAVE) {
134 ch->counter -= ch->counter % 2;
137 ch->run_state = RUNNING;
138 } else if (ch->run_state != RUNNING) {
139 return output_changed;
143 PrintDebug("8254 PIT: Channel Run State = %d, counter=", ch->run_state);
144 PrintTraceLL(ch->counter);
147 if (ch->op_mode == SQR_WAVE) {
151 if (ch->counter > oscillations) {
152 ch->counter -= oscillations;
153 return output_changed;
155 ushort_t reload_val = ch->reload_value;
157 if (ch->op_mode == SW_STROBE) {
161 // TODO: Check this....
162 // Is this correct???
163 if (reload_val == 0) {
167 oscillations -= ch->counter;
171 if (ch->op_mode == SQR_WAVE) {
172 reload_val -= reload_val % 2;
175 channel_cycles += oscillations / reload_val;
176 oscillations = oscillations % reload_val;
178 ch->counter = reload_val - oscillations;
181 // PrintDebug("8254 PIT: Channel Cycles: %d\n", channel_cycles);
185 switch (ch->op_mode) {
186 case IRQ_ON_TERM_CNT:
187 if ((channel_cycles > 0) && (ch->output_pin == 0)) {
193 if ((channel_cycles > 0) && (ch->output_pin == 0)) {
199 // See the data sheet: we ignore the output pin cycle...
200 if (channel_cycles > 0) {
205 ch->output_pin = (ch->output_pin + 1) % 2;
207 if (ch->output_pin == 1) {
214 if (channel_cycles > 0) {
215 if (ch->output_pin == 1) {
222 PrintError("Hardware strobe not implemented\n");
229 return output_changed;
234 static void pit_update_time(ullong_t cpu_cycles, ullong_t cpu_freq, void * private_data) {
235 struct vm_device * dev = (struct vm_device *)private_data;
236 struct pit * state = (struct pit *)dev->private_data;
237 // ullong_t tmp_ctr = state->pit_counter;
239 uint_t oscillations = 0;
243 PrintDebug("updating cpu_cycles=");
244 PrintTraceLL(cpu_cycles);
247 PrintDebug("pit_counter=");
248 PrintTraceLL(state->pit_counter);
251 PrintDebug("pit_reload=");
252 PrintTraceLL(state->pit_reload);
256 if (state->pit_counter > cpu_cycles) {
258 state->pit_counter -= cpu_cycles;
260 ushort_t reload_val = state->pit_reload;
261 // Take off the first part
262 cpu_cycles -= state->pit_counter;
263 state->pit_counter = 0;
266 if (cpu_cycles > state->pit_reload) {
267 // how many full oscillations
269 //PrintError("cpu_cycles = %p, reload = %p...\n",
270 // (void *)(addr_t)cpu_cycles,
271 // (void *)(addr_t)state->pit_reload);
273 // How do we check for a one shot....
274 if (state->pit_reload == 0) {
278 tmp_cycles = cpu_cycles;
282 cpu_cycles = tmp_cycles % state->pit_reload;
283 tmp_cycles = tmp_cycles / state->pit_reload;
285 cpu_cycles = do_divll(tmp_cycles, state->pit_reload);
288 oscillations += tmp_cycles;
291 // update counter with remainder (mod reload)
292 state->pit_counter = state->pit_reload - cpu_cycles;
294 //PrintDebug("8254 PIT: Handling %d crystal tics\n", oscillations);
295 if (handle_crystal_tics(dev, &(state->ch_0), oscillations) == 1) {
297 PrintDebug("8254 PIT: Injecting Timer interrupt to guest\n");
298 v3_raise_irq(dev->vm, 0);
301 //handle_crystal_tics(dev, &(state->ch_1), oscillations);
302 //handle_crystal_tics(dev, &(state->ch_2), oscillations);
313 /* This should call out to handle_SQR_WAVE_write, etc...
315 static int handle_channel_write(struct channel * ch, char val) {
317 switch (ch->access_state) {
320 ushort_t tmp_val = ((ushort_t)val) << 8;
321 ch->reload_value &= 0x00ff;
322 ch->reload_value |= tmp_val;
325 if ((ch->op_mode != RATE_GEN) || (ch->run_state != RUNNING)){
326 ch->run_state = PENDING;
329 if (ch->access_mode == LOBYTE_HIBYTE) {
330 ch->access_state = WAITING_LOBYTE;
333 PrintDebug("8254 PIT: updated channel counter: %d\n", ch->reload_value);
334 PrintDebug("8254 PIT: Channel Run State=%d\n", ch->run_state);
338 ch->reload_value &= 0xff00;
339 ch->reload_value |= val;
341 if (ch->access_mode == LOBYTE_HIBYTE) {
342 ch->access_state = WAITING_HIBYTE;
343 } else if ((ch->op_mode != RATE_GEN) || (ch->run_state != RUNNING)) {
344 ch->run_state = PENDING;
347 PrintDebug("8254 PIT: updated channel counter: %d\n", ch->reload_value);
348 PrintDebug("8254 PIT: Channel Run State=%d\n", ch->run_state);
351 PrintError("Invalid Access state\n");
356 switch (ch->op_mode) {
357 case IRQ_ON_TERM_CNT:
373 PrintError("Invalid OP_MODE: %d\n", ch->op_mode);
383 static int handle_channel_read(struct channel * ch, char * val) {
387 if (ch->latch_state == NOTLATCHED) {
388 myval = &(ch->counter);
390 myval = &(ch->latched_value);
393 if (ch->read_state == LSB) {
394 *val = ((char*)myval)[0]; // little endian
395 ch->read_state = MSB;
397 *val = ((char*)myval)[1];
398 ch->read_state = LSB;
399 if (ch->latch_state == LATCHED) {
400 ch->latch_state = NOTLATCHED;
412 static int handle_channel_cmd(struct channel * ch, struct pit_cmd_word cmd) {
413 ch->op_mode = cmd.op_mode;
414 ch->access_mode = cmd.access_mode;
419 switch (cmd.access_mode) {
421 if (ch->latch_state == NOTLATCHED) {
422 ch->latched_value = ch->counter;
423 ch->latch_state = LATCHED;
427 ch->access_state = WAITING_HIBYTE;
431 ch->access_state = WAITING_LOBYTE;
436 switch (cmd.op_mode) {
437 case IRQ_ON_TERM_CNT:
453 PrintError("Invalid OP_MODE: %d\n", cmd.op_mode);
464 static int pit_read_channel(ushort_t port, void * dst, uint_t length, struct vm_device * dev) {
465 struct pit * state = (struct pit *)dev->private_data;
466 char * val = (char *)dst;
469 PrintError("8254 PIT: Invalid Read Write length \n");
473 PrintDebug("8254 PIT: Read of PIT Channel %d\n", port - CHANNEL0_PORT);
477 if (handle_channel_read(&(state->ch_0), val) == -1) {
478 PrintError("CHANNEL0 read error\n");
483 if (handle_channel_read(&(state->ch_1), val) == -1) {
484 PrintError("CHANNEL1 read error\n");
489 if (handle_channel_read(&(state->ch_2), val) == -1) {
490 PrintError("CHANNEL2 read error\n");
495 PrintError("8254 PIT: Read from invalid port (%d)\n", port);
504 static int pit_write_channel(ushort_t port, void * src, uint_t length, struct vm_device * dev) {
505 struct pit * state = (struct pit *)dev->private_data;
506 char val = *(char *)src;
509 PrintError("8254 PIT: Invalid Write Length\n");
513 PrintDebug("8254 PIT: Write to PIT Channel %d (%x)\n", port - CHANNEL0_PORT, *(char*)src);
518 if (handle_channel_write(&(state->ch_0), val) == -1) {
519 PrintError("CHANNEL0 write error\n");
524 if (handle_channel_write(&(state->ch_1), val) == -1) {
525 PrintError("CHANNEL1 write error\n");
530 if (handle_channel_write(&(state->ch_2), val) == -1) {
531 PrintError("CHANNEL2 write error\n");
536 PrintError("8254 PIT: Write to invalid port (%d)\n", port);
546 static int pit_write_command(ushort_t port, void * src, uint_t length, struct vm_device * dev) {
547 struct pit * state = (struct pit *)dev->private_data;
548 struct pit_cmd_word * cmd = (struct pit_cmd_word *)src;
550 PrintDebug("8254 PIT: Write to PIT Command port\n");
551 PrintDebug("8254 PIT: Writing to channel %d (access_mode = %d, op_mode = %d)\n", cmd->channel, cmd->access_mode, cmd->op_mode);
553 PrintError("8254 PIT: Write of Invalid length to command port\n");
557 switch (cmd->channel) {
559 if (handle_channel_cmd(&(state->ch_0), *cmd) == -1) {
560 PrintError("CHANNEL0 command error\n");
565 if (handle_channel_cmd(&(state->ch_1), *cmd) == -1) {
566 PrintError("CHANNEL1 command error\n");
571 if (handle_channel_cmd(&(state->ch_2), *cmd) == -1) {
572 PrintError("CHANNEL2 command error\n");
578 PrintError("Read back command not implemented\n");
592 static struct vm_timer_ops timer_ops = {
593 .update_time = pit_update_time,
597 static void init_channel(struct channel * ch) {
598 ch->run_state = NOT_RUNNING;
599 ch->access_state = NOT_WAITING;
604 ch->reload_value = 0;
606 ch->gate_input_pin = 0;
608 ch->latched_value = 0;
609 ch->latch_state = NOTLATCHED;
610 ch->read_state = LSB;
616 static int pit_init(struct vm_device * dev) {
617 struct pit * state = (struct pit *)dev->private_data;
618 uint_t cpu_khz = V3_CPU_KHZ();
619 ullong_t reload_val = (ullong_t)cpu_khz * 1000;
621 v3_dev_hook_io(dev, CHANNEL0_PORT, &pit_read_channel, &pit_write_channel);
622 v3_dev_hook_io(dev, CHANNEL1_PORT, &pit_read_channel, &pit_write_channel);
623 v3_dev_hook_io(dev, CHANNEL2_PORT, &pit_read_channel, &pit_write_channel);
624 v3_dev_hook_io(dev, COMMAND_PORT, NULL, &pit_write_command);
627 PrintDebug("8254 PIT: OSC_HZ=%d, reload_val=", OSC_HZ);
628 PrintTraceLL(reload_val);
632 v3_add_timer(dev->vm, &timer_ops, dev);
634 // Get cpu frequency and calculate the global pit oscilattor counter/cycle
636 do_divll(reload_val, OSC_HZ);
637 state->pit_counter = reload_val;
638 state->pit_reload = reload_val;
642 init_channel(&(state->ch_0));
643 init_channel(&(state->ch_1));
644 init_channel(&(state->ch_2));
647 PrintDebug("8254 PIT: CPU MHZ=%d -- pit count=", cpu_khz / 1000);
648 PrintTraceLL(state->pit_counter);
655 static int pit_deinit(struct vm_device * dev) {
661 static struct vm_device_ops dev_ops = {
663 .deinit = pit_deinit,
671 struct vm_device * v3_create_pit() {
672 struct pit * pit_state = NULL;
673 pit_state = (struct pit *)V3_Malloc(sizeof(struct pit));
674 V3_ASSERT(pit_state != NULL);
676 struct vm_device * dev = v3_create_device("PIT", &dev_ops, pit_state);