Searched refs:x86_INVALID_REGISTER (Results 1 - 2 of 2) sorted by path

/seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/gdb/
H A Dgdb.h40 #define x86_INVALID_REGISTER 10 macro
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/sel4_arch/ia32/gdb_server/
H A Dgdb.c451 if (reg_num >= x86_INVALID_REGISTER) {

Completed in 49 milliseconds