164 debug_get_num_option(const char *name, long dfault);
396 debug_get_option(const char *name, const char *dfault);
399 debug_get_bool_option(const char *name, boolean dfault);
402 debug_get_num_option(const char *name, long dfault);
407                        uint64_t dfault);
409 #define DEBUG_GET_ONCE_OPTION(suffix, name, dfault) \  argument
417       value = debug_get_option(name, dfault); \
422 #define DEBUG_GET_ONCE_BOOL_OPTION(sufix, name, dfault) \  argument
430       value = debug_get_bool_option(name, dfault); \
435 #define DEBUG_GET_ONCE_NUM_OPTION(sufix, name, dfault) \  argument
443       value = debug_get_num_option(name, dfault); \
448 #define DEBUG_GET_ONCE_FLAGS_OPTION(sufix, name, flags, dfault) \  argument
456       value = debug_get_flags_option(name, flags, dfault); \