              flags: 60800001 (KSYMS_START|PAE|OMIT_FRAME_PTR|FRAMESIZE_DEBUG)
             kvbase: 40000000
  identity_map_base: 40000000
           pagesize: 4096
          pageshift: 12
           pagemask: fffffffffffff000
         pageoffset: fff
          stacksize: 8192
                 hz: 250
                mhz: 2200
            memsize: 5368709120 (0x140000000)
               bits: 32
            nr_irqs: 224
      eframe_search: x86_eframe_search()
         back_trace: x86_back_trace_cmd()
get_processor_speed: x86_processor_speed()
              uvtop: x86_uvtop_PAE()
              kvtop: x86_kvtop_PAE()
       get_task_pgd: x86_get_task_pgd()
           dump_irq: generic_dump_irq()
    get_stack_frame: x86_get_stack_frame()
      get_stackbase: generic_get_stackbase()
       get_stacktop: generic_get_stacktop()
      translate_pte: x86_translate_pte()
        memory_size: x86_memory_size()
      vmalloc_start: x86_vmalloc_start()
       is_task_addr: x86_is_task_addr()
      verify_symbol: x86_verify_symbol()
         dis_filter: x86_dis_filter()
           cmd_mach: x86_cmd_mach()
       get_smp_cpus: x86_get_smp_cpus()
          is_kvaddr: generic_is_kvaddr()
          is_uvaddr: generic_is_uvaddr()
       verify_paddr: generic_verify_paddr()
    init_kernel_pgd: x86_init_kernel_pgd()
    value_to_symbol: generic_machdep_value_to_symbol()
  line_number_hooks: x86_line_number_hooks
      last_pgd_read: 5d5002c0
      last_pmd_read: 0
     last_ptbl_read: 0
                pgd: 845a308
                pmd: 845b310
               ptbl: 845c318
       ptrs_per_pgd: 4
  section_size_bits: 30
   max_physmem_bits: 36
  sections_per_root: 0
 xendump_p2m_create: x86_xendump_p2m_create()
 xendump_panic_task: x86_xendump_panic_task()
   get_xendump_regs: x86_get_xendump_regs()
xen_kdump_p2m_create: x86_xen_kdump_p2m_create()
clear_machdep_cache: x86_clear_machdep_cache()
   INT_EFRAME_[reg]:
                 SS:  15
                ESP:  14
             EFLAGS:  13
                 CS:  12
                 IP:  11
                ERR:  10
                 ES:  8
                 DS:  7
                EAX:  6
                EBP:  5
                EDI:  4
                ESI:  3
                EDX:  2
                ECX:  1
                EBX:  0
                 GS:  9
           machspec: x86_machine_specific
                     idt_table: 8dae690
             entry_tramp_start: 0
               entry_tramp_end: 0
        entry_tramp_start_phys: 0
             last_pmd_read_PAE: 1d443000
            last_ptbl_read_PAE: 13e366000
