74 { (void) module_data; }
94 { (void) drr; (void) vcpuid; }
102 { (void) regs; (void) cpuid; }
int64_t bf_read_ioctl(int64_t fd, unsigned long request, void *data)
virtual void call_ioctl_vmm_status(gsl::not_null< status_pointer > status)
int64_t unsigned long request
virtual void call_ioctl_start_vmm()
int64_t unsigned long void * data
debug_ring_resources_t * drr
virtual void call_ioctl_stop_vmm()
virtual void call_ioctl_unload_vmm()
int64_t bf_write_ioctl(int64_t fd, unsigned long request, const void *data)
virtual void call_ioctl_dump_vmm(gsl::not_null< drr_pointer > drr, vcpuid_type vcpuid)
virtual void call_ioctl_load_vmm()
int __attribute__((weak)) bf_ioctl_open()
int64_t bf_send_ioctl(int64_t fd, unsigned long request)
virtual void call_ioctl_vmcall(gsl::not_null< registers_pointer > regs, cpuid_type cpuid)
virtual void call_ioctl_add_module(const binary_data &module_data)