arch_set_debug_variable
status_t arch_set_debug_variable(const char* variableName, uint64 value);
return arch_set_debug_variable(variableName + 1, value) == B_OK;