update pointer alignment rule

This commit is contained in:
2025-09-09 16:17:02 +02:00
parent c339accedc
commit cfad7f6fdc
19 changed files with 50 additions and 50 deletions

View File

@@ -9,4 +9,4 @@ time_t time_pull(void);
/* Polls the time whether a given timeout has passed, comparing against `curr` as the current time.
* if `curr` ≥ `*proj`, `curr` + `delta` is written to `*proj`. `1` is returned.
* otherwise, we just return `0`. */
__nonnull((3)) int time_poll(time_t curr, time_t delta, time_t* restrict proj);
__nonnull((3)) int time_poll(time_t curr, time_t delta, time_t *restrict proj);