headers/os/kernel/debugger.h

465

debug_nub_get_cpu_state get_cpu_state;

headers/private/kernel/user_debugger.h

227

debugged_thread_get_cpu_state get_cpu_state;

src/system/kernel/arch/x86/arch_user_debugger.cpp

779

get_cpu_state(thread_get_current_thread(), frame, cpuState);

src/system/kernel/arch/x86/arch_user_debugger.cpp

798

get_cpu_state(thread, frame, cpuState);

src/system/kernel/debug/user_debugger.cpp

1760

debug_nub_get_cpu_state_reply get_cpu_state;

src/system/kernel/debug/user_debugger.cpp

2020

thread_id threadID = message.get_cpu_state.thread;

src/system/kernel/debug/user_debugger.cpp

2021

replyPort = message.get_cpu_state.reply_port;

src/system/kernel/debug/user_debugger.cpp

2042

reply.get_cpu_state.error = result;

src/system/kernel/debug/user_debugger.cpp

2044

replySize = sizeof(reply.get_cpu_state);

src/system/kernel/debug/user_debugger.cpp

696

port_id replyPort = commandMessage.get_cpu_state.reply_port;