- _ -

• _binary_gblcfg_o_txt_end : jdb_kern_info_config.cc
• _binary_gblcfg_o_txt_start : jdb_kern_info_config.cc

- a -

• apic_error_cnt : apic.h, apic-ia32.cc
• apic_io_base : apic-ia32.cc
• apic_spurious_interrupt_bug_cnt : apic.h, apic-ia32.cc
• apic_spurious_interrupt_cnt : apic.h, apic-ia32.cc
• area_end : jdb_dbinfo.cc
• area_size : jdb_dbinfo.cc
• area_start : jdb_dbinfo.cc

- b -

• bitmap_size : jdb_dbinfo.cc
• boot_stack : globals.h, globals.cc

- c -

• commands : jdb_module.cc
• cpu_lock : cpu_lock.h

- d -

• dbf_stack_top : cpu-ia32.cc

- e -

• exit_question_active : main-ia32.cc

- f -

• FIASCO_FASTCALL : trap_state.cc, thread-ia32-ux.cc, jdb-ia32-ux.cc, std_macros.h
• FIASCO_INITDATA : cpu-ia32-common.cc
• format : tb_entry_output.cc

- g -

• gdb_pc_com_irq : kdb.cc
• gdb_trap_recover : thread-ia32.cc, thread-ia32-ux.cc

- i -

• ignore_invalid_apic_reg_access : apic-ia32.cc
• in_handle_fputrap : jdb-ia32.cc
• in_interrupt : jdb-ia32.cc
• in_page_fault : jdb-ia32.cc
• in_slow_ipc4 : jdb-ia32.cc
• in_slow_ipc5 : jdb-ia32.cc
• in_slowtrap : jdb-ia32.cc
• in_timer_interrupt : jdb-ia32.cc
• in_timer_interrupt_slow : jdb-ia32.cc
• INIT_PRIORITY : cpu_lock.cc, vmem_alloc-ia32-ux.cc

- m -

• maxlen : tb_entry_output.cc

- p -

• packed : tb_entry.h, mapdb.h
• pic_mask_master : irq.h
• pic_mask_slave : irq.h

- r -

• running : globals.h, globals.cc

- s -

• sigma0_space : globals.h, globals.cc
• sigma0_task : globals.h, globals.cc
• sigma0_thread : globals.h, globals.cc
• size_t : s_cruft.h
• syscall_table : thread.h, thread-syscall.cc, jdb_trace_set.cc

- t -

• timeslice_timeout : globals.h, globals.cc

- w -

• WEAK : jdb-ia32.cc

---