Fixed bugs in liveupdate.c that rendered load_state_info() meaningless.
More informative error message in do_config() in service.c.
if(sub_dev[i].RevivePending) {
dma_mode = sub_dev[i].DmaMode;
- if(dma_mode = DEV_READ_S) {
+ if(dma_mode == DEV_READ_S) {
is_read_pending = TRUE;
}
- else if (dma_mode = DEV_WRITE_S){
+ else if (dma_mode == DEV_WRITE_S){
is_write_pending = TRUE;
}
}
PUBLIC void lapic_stop_timer(void)
{
u32_t lvtt;
- lapic_read(LAPIC_LVTTR);
+ lvtt = lapic_read(LAPIC_LVTTR);
lapic_write(LAPIC_LVTTR, lvtt | APIC_LVTT_MASK);
}
}
if (cp == NULL)
{
- fprintf(stderr, "service: service '%s' not found in config\n",
- label);
+ fprintf(stderr, "service: service '%s' not found in '%s'\n",
+ label, filename);
exit(1);
}