c
static void
ble_hs_timer_sched(int32_t ticks_from_now)
{
    uint64_t abs_time;
    if (ticks_from_now == BLE_HS_FOREVER) {
        return;
    }
    abs_time = (uint64_t)ble_npl_time_get() + (uint64_t)ticks_from_now;
    // ... rest of the function
}
