struct v3_timer * timer;
+ struct v3_vm_info * vm;
+
struct channel ch_0;
struct channel ch_1;
struct channel ch_2;
// update counter with remainder (mod reload)
state->pit_counter = state->pit_reload - cpu_cycles;
- //PrintDebug("8254 PIT: Handling %d crystal tics\n", oscillations);
+ if (oscillations) {
+ PrintDebug("8254 PIT: Handling %d crystal tics\n", oscillations);
+ }
+
if (handle_crystal_tics(state, &(state->ch_0), oscillations) == 1) {
// raise interrupt
- PrintDebug("8254 PIT: Injecting Timer interrupt to guest\n");
+ // PrintDebug("8254 PIT: Injecting Timer interrupt to guest\n");
v3_raise_irq(info->vm_info, 0);
}
-static int pit_free(struct vm_device * dev) {
- struct pit * state = (struct pit *)dev->private_data;
- struct guest_info * info = &(dev->vm->cores[0]);
+static int pit_free(void * private_data) {
+ struct pit * state = (struct pit *)private_data;
+ struct guest_info * info = &(state->vm->cores[0]);
if (state->timer) {
return 0;
}
+#ifdef CONFIG_KEYED_STREAMS
+static int pit_checkpoint(struct vm_device *dev, v3_keyed_stream_t stream)
+{
+ struct pit *p = (struct pit *) (dev->private_data);
-static struct v3_device_ops dev_ops = {
- .free = pit_free,
+ v3_keyed_stream_key_t ks;
+
+ ks = v3_keyed_stream_open_key(stream,dev->name);
+
+ if (!ks) {
+ return -1;
+ }
+
+ STD_SAVE(stream,ks,p->pit_counter);
+ STD_SAVE(stream,ks,p->pit_reload);
+ STD_SAVE(stream,ks,p->ch_0);
+ STD_SAVE(stream,ks,p->ch_1);
+ STD_SAVE(stream,ks,p->ch_2);
+ STD_SAVE(stream,ks,p->speaker);
+
+ v3_keyed_stream_close_key(stream,ks);
+
+ return 0;
+
+
+}
+static int pit_restore(struct vm_device *dev, v3_keyed_stream_t stream)
+{
+ struct pit *p = (struct pit *) (dev->private_data);
+ v3_keyed_stream_key_t ks;
+
+ ks = v3_keyed_stream_open_key(stream,dev->name);
+
+ if (!ks) {
+ return -1;
+ }
+
+ STD_LOAD(stream,ks,p->pit_counter);
+ STD_LOAD(stream,ks,p->pit_reload);
+ STD_LOAD(stream,ks,p->ch_0);
+ STD_LOAD(stream,ks,p->ch_1);
+ STD_LOAD(stream,ks,p->ch_2);
+ STD_LOAD(stream,ks,p->speaker);
+
+ v3_keyed_stream_close_key(stream,ks);
+
+ return 0;
+
+
+}
+#endif
+
+static struct v3_device_ops dev_ops = {
+ .free = (int (*)(void *))pit_free,
+#ifdef CONFIG_KEYED_STREAMS
+ .checkpoint = pit_checkpoint,
+ .restore = pit_restore,
+#endif
};
#include <palacios/vm_guest.h>
// just hardcode the core context
struct guest_info * info = &(vm->cores[0]);
- uint_t cpu_khz = V3_CPU_KHZ();
+ uint_t cpu_khz = info->time_state.guest_cpu_freq;
ullong_t reload_val = (ullong_t)cpu_khz * 1000;
pit_state = (struct pit *)V3_Malloc(sizeof(struct pit));
+
V3_ASSERT(pit_state != NULL);
pit_state->speaker = 0;
+ pit_state->vm = vm;
- dev = v3_allocate_device(dev_id, &dev_ops, pit_state);
+ dev = v3_add_device(vm, dev_id, &dev_ops, pit_state);
- if (v3_attach_device(vm, dev) == -1) {
+ if (dev == NULL) {
PrintError("Could not attach device %s\n", dev_id);
V3_Free(pit_state);
return -1;
if (ret != 0) {
PrintError("8254 PIT: Failed to hook IO ports\n");
- v3_detach_device(dev);
+ v3_remove_device(dev);
return -1;
}
pit_state->timer = v3_add_timer(info, &timer_ops, pit_state);
if (pit_state->timer == NULL) {
- v3_detach_device(dev);
+ v3_remove_device(dev);
return -1;
}