Searched defs:_kdatasel (Results 1 – 2 of 2) sorted by relevance
50 static uint32_t _kdatasel = GSEL(GDATA_SEL, SEL_KPL); in gdb_cpu_getreg() local
55 static uint32_t _kdatasel = GSEL(GDATA_SEL, SEL_KPL); in gdb_cpu_getreg() local