PAGESIZE=4096 SYMBOL(domain_list)=ffff82c48029e0f0 SYMBOL(frame_table)=ffff82c48020d908 SYMBOL(max_page)=ffff82c4802c1a68 SIZE(page_info)=32 SIZE(domain)=5504 OFFSET(page_info.count_info)=8 OFFSET(page_info._domain)=24 OFFSET(domain.domain_id)=0 OFFSET(domain.next_in_list)=96 SYMBOL(dom_xen)=ffff82c4802c1a78 SYMBOL(dom_io)=ffff82c4802c1a80 SYMBOL(pgd_l4)=ffff82c480294000