X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2F8254.c;h=7bf6a8cc94607addd914c2ce42ca3399acbdde81;hb=16745fa0dd0900263d4d92315cd17e0ed9ccae91;hp=e5498b9eefe7ae4c2e1d26ad11fec53315238577;hpb=6d6988cc9c8bac21d96afd800076afe0915cf2cd;p=palacios.git diff --git a/palacios/src/devices/8254.c b/palacios/src/devices/8254.c index e5498b9..7bf6a8c 100644 --- a/palacios/src/devices/8254.c +++ b/palacios/src/devices/8254.c @@ -680,8 +680,10 @@ static int pit_init(struct v3_vm_info * vm, v3_cfg_tree_t * cfg) { 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_add_device(vm, dev_id, &dev_ops, pit_state);