set_return_data
set_return_data(vei, 0);
set_return_data(vei,
set_return_data(vei, 0);
set_return_data(vei, sig >> 32);
set_return_data(vei, sig & 0xffffffff);
set_return_data(vei, (1 << 5));
set_return_data(vei, 0);
set_return_data(vei, 1);
set_return_data(vei, 0);
set_return_data(vei, 0);
set_return_data(vei, data);
set_return_data(vei, data);
set_return_data(vei, data);
set_return_data(vei, i8259_io_read(vei));
set_return_data(vei, elcr[elcr_reg]);
set_return_data(vei, rtc.idx);
set_return_data(vei, data);
set_return_data(vei, com1_dev.regs.divlo);
set_return_data(vei, com1_dev.regs.data);
set_return_data(vei, com1_dev.regs.data);
set_return_data(vei, com1_dev.regs.lcr);
set_return_data(vei, com1_dev.regs.iir);
set_return_data(vei, com1_dev.regs.mcr);
set_return_data(vei, com1_dev.regs.lsr | LSR_TSRE | LSR_TXRDY);
set_return_data(vei, com1_dev.regs.lsr | MSR_DCD | MSR_DSR |
set_return_data(vei, com1_dev.regs.scr);
set_return_data(vei, com1_dev.regs.divhi);
set_return_data(vei, com1_dev.regs.ier);
set_return_data(vei, pci.pci_addr_reg);
set_return_data(vei, 0xFFFFFFFF);
set_return_data(vei, 0xFFFFFFFF);
set_return_data(vei, 0xFFFFFFFF);
set_return_data(vei, 0xFFFFFFFF);
set_return_data(vei, 0xFFFFFFFF);
set_return_data(vei, data);
set_return_data(vei, data);
set_return_data(vei, data >> 16);
set_return_data(vei, data >> (ofs * 8));
void set_return_data(struct vm_exit *, uint32_t);
void set_return_data(struct vm_exit *, uint32_t);
set_return_data(vei, 0xFFFFFFFF);