headers/private/kernel/debug.h

202

extern uint64 get_debug_variable(const char* variableName,

src/add-ons/kernel/bus_managers/usb/usb.cpp

108

Pipe *pipe = (Pipe *)get_debug_variable("_usbPipe", 0);

src/add-ons/kernel/bus_managers/usb/usb.cpp

78

uint64 id = get_debug_variable("_usbPipeID", 0);

src/add-ons/kernel/bus_managers/usb/usb.cpp

91

Pipe *pipe = (Pipe *)get_debug_variable("_usbPipe", 0);

src/add-ons/kernel/bus_managers/usb/usb.cpp

95

uint8 *data = (uint8 *)get_debug_variable("_usbTransferData", 0);

src/add-ons/kernel/bus_managers/usb/usb.cpp

96

size_t length = (size_t)get_debug_variable("_usbTransferLength", 0);

src/add-ons/kernel/bus_managers/usb/usb.cpp

98

= (usb_request_data *)get_debug_variable("_usbRequestData", 0);

src/add-ons/kernel/debugger/usb_keyboard/usb_keyboard.cpp

163

sUSBTransferLength = get_debug_variable("_usbReportSize", 0);

src/add-ons/kernel/debugger/usb_keyboard/usb_keyboard.cpp

168

sUSBPipe = (void *)get_debug_variable("_usbPipe", 0);

src/system/kernel/debug/debug_parser.cpp

1114

return get_debug_variable(token.string, 0);

src/system/kernel/debug/debug_parser.cpp

631

uint64 variableValue = get_debug_variable(variable, 0);

src/system/kernel/debug/debug_parser.cpp

775

return get_debug_variable("_", 0);