arch/x86/arch_debug.cpp

328 	// Since x86_64 uses registers rather than the stack for the first 6
496 				arch_debug_registers* registers = debug_get_debug_registers(
498 				if (registers == NULL)
500 				*_bp = registers->bp;
1047 arch_debug_save_registers(arch_debug_registers* registers)
1051 	registers->bp = (addr_t)frame->previous;
1076 			arch_debug_registers* registers = debug_get_debug_registers(
1078 			if (registers == NULL)
1080 			bp = registers->bp;
1266 /*!	Writes the contents of the CPU registers at some fixed outer stack frame or
1271 	\param buffer The buffer to write the registers to.
1290 	// Annoyingly, GDB wants all the registers as 64-bit values, but then
1291 	// RFLAGS and the segment registers as 32-bit values, hence the need for
1294 	gdb_register registers[kRegisterCount] = {
1319 	gdb_register registers[kRegisterCount] = {
1337 		switch (registers[i].type) {
1340 					(uint64)B_HOST_TO_BENDIAN_INT64(registers[i].value));
1344 					(uint32)B_HOST_TO_BENDIAN_INT32((uint32)registers[i].value));