2 Commits

Author	SHA1	Message	Date
Lephe	85d30fa59b	kernel: specify the return values of standard GINT_CALLs ... They return 0 by default, which corresponds to TIMER_CONTINUE when used in timers. Add new *_STOP variables which return 1 (TIMER_STOP).	2021-04-26 22:01:14 +02:00
Lephe	770b4e0117	gint: rename the callbacks GINT_CALL, as there are synchronous ones ... This will be useful for world switch calls which are not "callbacks" but simply polymorphic function pointers.	2021-04-20 17:51:53 +02:00