indefinite_info_t
indefinite_info_t info;
indefinite_info_t info;
indefinite_info_t info;
indefinite_info_t gd_indefinite; /* scheduler cpu-bound */
indefinite_done(indefinite_info_t *info)
indefinite_init(indefinite_info_t *info, void *lock_addr, const char *ident,
indefinite_check(indefinite_info_t *info)