• Philippe Gerum's avatar
    ipipe: tick: revive the host tick after device grab · fb24f93f
    Philippe Gerum authored
    Once the device was grabbed by ipipe_timer_start(), any pending host
    tick programmed in the hardware is basically lost, unknown to the
    co-kernel implementing the proxy handlers.
    Schedule a host event with the latest target time programmed to have
    the co-kernel know about the pending tick.
timer.c 14.8 KB