Symbol: arch_get_debug_variable
headers/private/kernel/arch/debug.h
52
status_t arch_get_debug_variable(const char* variableName, uint64* value);
src/system/kernel/debug/debug_variables.cpp
293
&& arch_get_debug_variable(variableName + 1, &value) == B_OK) {