usr/vmkitmon/guest.c

116                                          struct capref frame,  size_t size)
135     err = memobj_create_one_frame(memobj, size, 0);
140     err = memobj->m.f.fill(&memobj->m, 0, frame, size);
145     err = vregion_map_fixed(vregion, vspace, &memobj->m, 0, size, vaddr,
175                                    size_t size)
209     err = memobj->m.f.fill(&memobj->m, vaddr, frame, size);
546     // FIXME: Hardcoded guest memory size
722     size_t size = ROUND_UP(sizeof(struct guest_control), BASE_PAGE_SIZE);
723     err = vspace_map_one_frame_attr((void**)&g->ctrl, size, g->ctrl_cap,
1743                             uint8_t     size;
1765                         if (dap->size < 0x10) {
1813                             uint16_t size;
1836                         if (drp->size < sizeof(struct drive_params)) {
1850                             drp->size = sizeof(struct drive_params);
1948                             // size of the memory block
1960                             // size of the memory block
2122     enum opsize size;
2134     size = OPSIZE_8; // make gcc happy
2136         size = OPSIZE_8;
2138         size = OPSIZE_16;
2140         size = OPSIZE_32;
2144     size = OPSIZE_8;
2146         size = OPSIZE_8;
2148         size = OPSIZE_16;
2150         size = OPSIZE_32;
2152         assert(!"Invalid size of access value");
2157         switch (size) {
2194                 r = lpc_handle_pio_write(g->lpc, port, size, val);
2197                 r = lpc_handle_pio_read(g->lpc, port, size, &val);
2264                                               size, val);
2268                                              size, &val);
2286             r = pci_handle_pio_write(g->pci, port, size, val);
2288             r = pci_handle_pio_read(g->pci, port, size, &val);
2304         switch (size) {
2553         // no brand, clflush size 16, no mulitprocessing, no local apic
2847         enum opsize size;
2850         size = decode_mov_op_size(g, code);
2853             r = apic_handle_mmio_write(g->apic, fault_addr, size, val);
2856             r = apic_handle_mmio_read(g->apic, fault_addr, size, &val);