Searched refs:get_input_data (Results 1 – 9 of 9) sorted by relevance
| /openbsd/src/usr.sbin/vmd/ |
| D | vmm.h | 25 void get_input_data(struct vm_exit *, uint32_t *);
|
| D | arm64_vm.c | 174 get_input_data(struct vm_exit *vei, uint32_t *data) in get_input_data() function
|
| D | pci.c | 245 get_input_data(vei, &pci.pci_addr_reg); in pci_handle_address_reg()
390 get_input_data(vei, in pci_handle_data_reg()
|
| D | fw_cfg.c | 277 get_input_data(vei, &data); in vcpu_exit_fw_cfg()
326 get_input_data(vei, &data); in vcpu_exit_fw_cfg_dma()
|
| D | mc146818.c | 284 get_input_data(vei, &data); in vcpu_exit_mc146818()
|
| D | i8253.c | 231 get_input_data(vei, &out_data); in vcpu_exit_i8253()
|
| D | i8259.c | 590 get_input_data(vei, &data); in i8259_io_write()
|
| D | vmd.h | 533 void get_input_data(struct vm_exit *, uint32_t *);
|
| D | x86_vm.c | 1065 get_input_data(struct vm_exit *vei, uint32_t *data) in get_input_data() function
|