/* * Elf format, (pfn, gmfn) table, IA64 support. * Copyright (c) 2007 Isaku Yamahata * VA Linux Systems Japan K.K. * * xen dump-core file format follows ELF format specification. * Analisys tools shouldn't depends on the order of sections. * They should follow elf header and check section names. * * +--------------------------------------------------------+ * |ELF header | * +--------------------------------------------------------+ * |section headers | * | null section header | * | .shstrtab | * | .note.Xen | * | .xen_prstatus | * | .xen_ia64_mmapped_regs if ia64 | * | .xen_shared_info if present | * | .xen_pages | * | .xen_p2m or .xen_pfn | * +--------------------------------------------------------+ * |.note.Xen:note section | * | "Xen" is used as note name, | * | types are defined in xen/include/public/elfnote.h | * | and descriptors are defined in xc_core.h. | * | dumpcore none | * | dumpcore header | * | dumpcore xen version | * | dumpcore format version | * +--------------------------------------------------------+ * |.xen_prstatus | * | vcpu_guest_context_t[nr_vcpus] | * +--------------------------------------------------------+ * |.xen_ia64_mmapped_regs if ia64 pv | * | mmapped_regs_t[nr_vcpus] | * +--------------------------------------------------------+ * |.xen_shared_info if possible | * +--------------------------------------------------------+ * |.xen_pages | * | page * nr_pages | * +--------------------------------------------------------+ * |.xen_p2m or .xen_pfn | * | .xen_p2m: struct xen_dumpcore_p2m[nr_pages] | * | .xen_pfn: uint64_t[nr_pages] | * +--------------------------------------------------------+ * |.shstrtab: section header string table | * +--------------------------------------------------------+ * */ #include "xg_private.h" #include "xc_core.h" #include "xc_dom.h" #include #include /* number of pages to write at a time */ #define DUMP_INCREMENT (4 * 1024) /* string table */ struct xc_core_strtab { char *strings; uint16_t length; uint16_t max; }; static struct xc_core_strtab* xc_core_strtab_init(void) { struct xc_core_strtab *strtab; char *strings; strtab = malloc(sizeof(*strtab)); if ( strtab == NULL ) return NULL; strings = malloc(PAGE_SIZE); if ( strings == NULL ) { PERROR("Could not allocate string table init"); free(strtab); return NULL; } strtab->strings = strings; strtab->max = PAGE_SIZE; /* index 0 represents none */ strtab->strings[0] = '\0'; strtab->length = 1; return strtab; } static void xc_core_strtab_free(struct xc_core_strtab *strtab) { free(strtab->strings); free(strtab); } static uint16_t xc_core_strtab_get(struct xc_core_strtab *strtab, const char *name) { uint16_t ret = 0; uint16_t len = strlen(name) + 1; if ( strtab->length > UINT16_MAX - len ) { PERROR("too long string table"); errno = E2BIG; return ret; } if ( strtab->length + len > strtab->max ) { char *tmp;

module test(
    input             WR1_CLK,  WR2_CLK,
    input             WR1_WEN,  WR2_WEN,
    input      [7:0]  WR1_ADDR, WR2_ADDR,
    input      [7:0]  WR1_DATA, WR2_DATA,
    input             RD1_CLK,  RD2_CLK,
    input      [7:0]  RD1_ADDR, RD2_ADDR,
    output reg [7:0]  RD1_DATA, RD2_DATA
);

reg [7:0] memory [0:255];

always @(posedge WR1_CLK)
    if (WR1_WEN)
        memory[WR1_ADDR] <= WR1_DATA;

always @(posedge WR2_CLK)
    if (WR2_WEN)
        memory[WR2_ADDR] <= WR2_DATA;

always @(posedge RD1_CLK)
    RD1_DATA <= memory[RD1_ADDR];

always @(posedge RD2_CLK)
    RD2_DATA <= memory[RD2_ADDR];

endmodule

uint64_t *pfn_array = NULL; Elf64_Ehdr ehdr; uint64_t filesz; uint64_t offset; uint64_t fixup; struct xc_core_strtab *strtab = NULL; uint16_t strtab_idx; struct xc_core_section_headers *sheaders = NULL; Elf64_Shdr *shdr; if ( get_guest_width(xc_handle, domid, &guest_width) != 0 ) { PERROR("Could not get address size for domain"); return sts; } xc_core_arch_context_init(&arch_ctxt); if ( (dump_mem_start = malloc(DUMP_INCREMENT*PAGE_SIZE)) == NULL ) { PERROR("Could not allocate dump_mem"); goto out; } if ( xc_domain_getinfo(xc_handle, domid, 1, &info) != 1 ) { PERROR("Could not get info for domain"); goto out; } /* Map the shared info frame */ live_shinfo = xc_map_foreign_range(xc_handle, domid, PAGE_SIZE, PROT_READ, info.shared_info_frame); if ( !live_shinfo && !info.hvm ) { PERROR("Couldn't map live_shinfo"); goto out; } auto_translated_physmap = xc_core_arch_auto_translated_physmap(&info); if ( domid != info.domid ) { PERROR("Domain %d does not exist", domid); goto out; } for ( i = 0; i <= info.max_vcpu_id; i++ ) { if ( xc_vcpu_getcontext(xc_handle, domid, i, &ctxt[nr_vcpus]) == 0 ) { if ( xc_core_arch_context_get(&arch_ctxt, &ctxt[nr_vcpus], xc_handle, domid) ) continue; nr_vcpus++; } } if ( nr_vcpus == 0 ) { PERROR("No VCPU context could be grabbed"); goto out; } /* obtain memory map */ sts = xc_core_arch_memory_map_get(xc_handle, &arch_ctxt, &info, live_shinfo, &memory_map, &nr_memory_map); if ( sts != 0 ) goto out; nr_pages = info.nr_pages; if ( !auto_translated_physmap ) { /* obtain p2m table */ p2m_array = malloc(nr_pages * sizeof(p2m_array[0])); if ( p2m_array == NULL ) { PERROR("Could not allocate p2m array"); goto out; } sts = xc_core_arch_map_p2m(xc_handle, guest_width, &info, live_shinfo, &p2m, &p2m_size); if ( sts != 0 ) goto out; } else { pfn_array = malloc(nr_pages * sizeof(pfn_array[0])); if ( pfn_array == NULL ) { PERROR("Could not allocate pfn array"); goto out; } } /* ehdr.e_shnum and ehdr.e_shstrndx aren't known here yet. fill it later*/ xc_core_ehdr_init(&ehdr); /* create section header */ strtab = xc_core_strtab_init(); if ( strtab == NULL ) { PERROR("Could not allocate string table"); goto out; } sheaders = xc_core_shdr_init(); if ( sheaders == NULL ) { PERROR("Could not allocate section headers"); goto out; } /* null section */ shdr = xc_core_shdr_get(sheaders); if ( shdr == NULL ) { PERROR("Could not get section header for null section"); goto out; } /* .shstrtab */ shdr = xc_core_shdr_get(sheaders); if ( shdr == NULL ) { PERROR("Could not get section header for shstrtab"); goto out; } strtab_idx = shdr - sheaders->shdrs; /* strtab_shdr.sh_offset, strtab_shdr.sh_size aren't unknown. * fill it later */ sts = xc_core_shdr_set(shdr, strtab, ELF_SHSTRTAB, SHT_STRTAB, 0, 0, 0, 0); if ( sts != 0 ) goto out; /* elf note section */ /* here the number of section header is unknown. fix up offset later. */ offset = sizeof(ehdr); filesz = sizeof(struct xen_dumpcore_elfnote_none) + /* none */ sizeof(struct xen_dumpcore_elfnote_header) + /* core header */ sizeof(struct xen_dumpcore_elfnote_xen_version) + /* xen version */ sizeof(struct xen_dumpcore_elfnote_format_version);/* format version */ shdr = xc_core_shdr_get(sheaders); if ( shdr == NULL ) { PERROR("Could not get section header for note section"); goto out; } sts = xc_core_shdr_set(shdr, strtab, XEN_DUMPCORE_SEC_NOTE, SHT_NOTE, offset, filesz, 0, 0); if ( sts != 0 ) goto out; offset += filesz; /* prstatus */ shdr = xc_core_shdr_get(sheaders); if ( shdr == NULL ) { PERROR("Could not get section header for .xen_prstatus"); goto out; } filesz = sizeof(ctxt[0].c) * nr_vcpus; sts = xc_core_shdr_set(shdr, strtab, XEN_DUMPCORE_SEC_PRSTATUS, SHT_PROGBITS, offset, filesz, __alignof__(ctxt[0].c), sizeof(ctxt[0].c)); if ( sts != 0 ) goto out; offset += filesz; /* arch context */ sts = xc_core_arch_context_get_shdr(&arch_ctxt, sheaders, strtab, &filesz, offset); if ( sts != 0 ) goto out; offset += filesz; /* shared_info */ if ( live_shinfo != NULL ) { shdr = xc_core_shdr_get(sheaders); if ( shdr == NULL ) { PERROR("Could not get section header for .xen_shared_info"); goto out; } filesz = PAGE_SIZE; sts = xc_core_shdr_set(shdr, strtab, XEN_DUMPCORE_SEC_SHARED_INFO, SHT_PROGBITS, offset, filesz, __alignof__(*live_shinfo), PAGE_SIZE); if ( sts != 0 ) goto out; offset += filesz; } /* * pages and p2m/pfn are the last section to allocate section headers * so that we know the number of section headers here. * 2 = pages section and p2m/pfn table section */ fixup = (sheaders->num + 2) * sizeof(*shdr); /* zeroth section should have zero offset */ for ( i = 1; i < sheaders->num; i++ ) sheaders->shdrs[i].sh_offset += fixup; offset += fixup; dummy_len = ROUNDUP(offset, PAGE_SHIFT) - offset; /* padding length */ offset += dummy_len; /* pages */ shdr = xc_core_shdr_get(sheaders); if ( shdr == NULL ) { PERROR("could not get section headers for .xen_pages"); goto out; } filesz = (uint64_t)nr_pages * PAGE_SIZE; sts = xc_core_shdr_set(shdr, strtab, XEN_DUMPCORE_SEC_PAGES, SHT_PROGBITS, offset, filesz, PAGE_SIZE, PAGE_SIZE); if ( sts != 0 ) goto out; offset += filesz; /* p2m/pfn table */ shdr = xc_core_shdr_get(sheaders); if ( shdr == NULL ) { PERROR("Could not get section header for .xen_{p2m, pfn} table"); goto out; } if ( !auto_translated_physmap ) { filesz = (uint64_t)nr_pages * sizeof(p2m_array[0]); sts = xc_core_shdr_set(shdr, strtab, XEN_DUMPCORE_SEC_P2M, SHT_PROGBITS, offset, filesz, __alignof__(p2m_array[0]), sizeof(p2m_array[0])); } else { filesz = (uint64_t)nr_pages * sizeof(pfn_array[0]); sts = xc_core_shdr_set(shdr, strtab, XEN_DUMPCORE_SEC_PFN, SHT_PROGBITS, offset, filesz, __alignof__(pfn_array[0]), sizeof(pfn_array[0])); } if ( sts != 0 ) goto out; offset += filesz; /* fixing up section header string table section header */ filesz = strtab->length; sheaders->shdrs[strtab_idx].sh_offset = offset; sheaders->shdrs[strtab_idx].sh_size = filesz; /* write out elf header */ ehdr.e_shnum = sheaders->num; ehdr.e_shstrndx = strtab_idx; ehdr.e_machine = ELF_ARCH_MACHINE; sts = dump_rtn(args, (char*)&ehdr, sizeof(ehdr)); if ( sts != 0 ) goto out; /* section headers */ sts = dump_rtn(args, (char*)sheaders->shdrs, sheaders->num * sizeof(sheaders->shdrs[0])); if ( sts != 0 ) goto out; /* elf note section: xen core header */ sts = elfnote_dump_none(args, dump_rtn); if ( sts != 0 ) goto out; /* elf note section: xen core header */ sts = elfnote_dump_core_header(args, dump_rtn, &info, nr_vcpus, nr_pages); if ( sts != 0 ) goto out; /* elf note section: xen version */ sts = elfnote_dump_xen_version(args, dump_rtn, xc_handle, guest_width); if ( sts != 0 ) goto out; /* elf note section: format version */ sts = elfnote_dump_format_version(args, dump_rtn); if ( sts != 0 ) goto out; /* prstatus: .xen_prstatus */ sts = dump_rtn(args, (char *)&ctxt[0].c, sizeof(ctxt[0].c) * nr_vcpus); if ( sts != 0 ) goto out; if ( live_shinfo != NULL ) { /* shared_info: .xen_shared_info */ sts = dump_rtn(args, (char*)live_shinfo, PAGE_SIZE); if ( sts != 0 ) goto out; } /* arch specific context */ sts = xc_core_arch_context_dump(&arch_ctxt, args, dump_rtn); if ( sts != 0 ) goto out; /* Pad the output data to page alignment. */ memset(dummy, 0, PAGE_SIZE); sts = dump_rtn(args, dummy, dummy_len); if ( sts != 0 ) goto out; /* dump pages: .xen_pages */ j = 0; dump_mem = dump_mem_start; for ( map_idx = 0; map_idx < nr_memory_map; map_idx++ ) { uint64_t pfn_start; uint64_t pfn_end; pfn_start = memory_map[map_idx].addr >> PAGE_SHIFT; pfn_end = pfn_start + (memory_map[map_idx].size >> PAGE_SHIFT); for ( i = pfn_start; i < pfn_end; i++ ) { uint64_t gmfn; void *vaddr; if ( j >= nr_pages ) { /* * When live dump-mode (-L option) is specified, * guest domain may increase memory. */ IPRINTF("exceeded nr_pages (%ld) losing pages", nr_pages); goto copy_done; } if ( !auto_translated_physmap ) { if ( guest_width >= sizeof(unsigned long) ) { if ( guest_width == sizeof(unsigned long) ) gmfn = p2m[i]; else gmfn = ((uint64_t *)p2m)[i]; if ( gmfn == INVALID_P2M_ENTRY ) continue; } else { gmfn = ((uint32_t *)p2m)[i]; if ( gmfn == (uint32_t)INVALID_P2M_ENTRY ) continue; } p2m_array[j].pfn = i; p2m_array[j].gmfn = gmfn; } else { if ( !xc_core_arch_gpfn_may_present(&arch_ctxt, i) ) continue; gmfn = i; pfn_array[j] = i; } vaddr = xc_map_foreign_range( xc_handle, domid, PAGE_SIZE, PROT_READ, gmfn); if ( vaddr == NULL ) continue; memcpy(dump_mem, vaddr, PAGE_SIZE); munmap(vaddr, PAGE_SIZE); dump_mem += PAGE_SIZE; if ( (j + 1) % DUMP_INCREMENT == 0 ) { sts = dump_rtn( args, dump_mem_start, dump_mem - dump_mem_start); if ( sts != 0 ) goto out; dump_mem = dump_mem_start; } j++; } } copy_done: sts = dump_rtn(args, dump_mem_start, dump_mem - dump_mem_start); if ( sts != 0 ) goto out; if ( j < nr_pages ) { /* When live dump-mode (-L option) is specified, * guest domain may reduce memory. pad with zero pages. */ IPRINTF("j (%ld) != nr_pages (%ld)", j, nr_pages); memset(dump_mem_start, 0, PAGE_SIZE); for (; j < nr_pages; j++) { sts = dump_rtn(args, dump_mem_start, PAGE_SIZE); if ( sts != 0 ) goto out; if ( !auto_translated_physmap ) { p2m_array[j].pfn = XC_CORE_INVALID_PFN; p2m_array[j].gmfn = XC_CORE_INVALID_GMFN; } else pfn_array[j] = XC_CORE_INVALID_PFN; } } /* p2m/pfn table: .xen_p2m/.xen_pfn */ if ( !auto_translated_physmap ) sts = dump_rtn( args, (char *)p2m_array, sizeof(p2m_array[0]) * nr_pages); else sts = dump_rtn( args, (char *)pfn_array, sizeof(pfn_array[0]) * nr_pages); if ( sts != 0 ) goto out; /* elf section header string table: .shstrtab */ sts = dump_rtn(args, strtab->strings, strtab->length); if ( sts != 0 ) goto out; sts = 0; out: if ( memory_map != NULL ) free(memory_map); if ( p2m != NULL ) munmap(p2m, PAGE_SIZE * P2M_FL_ENTRIES); if ( p2m_array != NULL ) free(p2m_array); if ( pfn_array != NULL ) free(pfn_array); if ( sheaders != NULL ) xc_core_shdr_free(sheaders); if ( strtab != NULL ) xc_core_strtab_free(strtab); if ( dump_mem_start != NULL ) free(dump_mem_start); if ( live_shinfo != NULL ) munmap(live_shinfo, PAGE_SIZE); xc_core_arch_context_free(&arch_ctxt); return sts; } /* Callback args for writing to a local dump file. */ struct dump_args { int fd; }; /* Callback routine for writing to a local dump file. */ static int local_file_dump(void *args, char *buffer, unsigned int length) { struct dump_args *da = args; if ( write_exact(da->fd, buffer, length) == -1 ) { PERROR("Failed to write buffer"); return -errno; } if ( length >= (DUMP_INCREMENT * PAGE_SIZE) ) { // Now dumping pages -- make sure we discard clean pages from // the cache after each write discard_file_cache(da->fd, 0 /* no flush */); } return 0; } int xc_domain_dumpcore(int xc_handle, uint32_t domid, const char *corename) { struct dump_args da; int sts; if ( (da.fd = open(corename, O_CREAT|O_RDWR|O_TRUNC, S_IWUSR|S_IRUSR)) < 0 ) { PERROR("Could not open corefile %s", corename); return -errno; } sts = xc_domain_dumpcore_via_callback( xc_handle, domid, &da, &local_file_dump); /* flush and discard any remaining portion of the file from cache */ discard_file_cache(da.fd, 1/* flush first*/); close(da.fd); return sts; } /* * Local variables: * mode: C * c-set-style: "BSD" * c-basic-offset: 4 * tab-width: 4 * indent-tabs-mode: nil * End: */