Public Attributes
memory_heap_t *	heap

const char_t *	entry_point_name

uint64_t	task_id

list_t *	ipc_queue

union {

uint64_t vmcs_frame_fa

uint64_t vmcb_frame_fa

};

buffer_t *	output_buffer

struct {

uint64_t timer_initial_value

uint64_t timer_current_value

uint64_t timer_divider

uint64_t timer_divider_realvalue

uint8_t timer_vector

boolean_t timer_periodic

boolean_t timer_masked

boolean_t timer_exits

uint8_t in_service_vector

uint64_t in_request_vectors [4]

boolean_t apic_eoi_pending

}	lapic

uint64_t	last_tsc

boolean_t	vid_enabled

boolean_t	vapic_register_access_enabled

boolean_t	need_to_notify

boolean_t	is_halted

boolean_t	is_halt_need_next_instruction

map_t *	msr_map

frame_t	owned_frames [HYPERVISOR_VM_FRAME_TYPE_NR]

list_t *	ept_frames

hashmap_t *	loaded_module_ids

list_t *	read_only_frames

list_t *	mapped_pci_devices

list_t *	mapped_interrupts

list_t *	interrupt_queue

list_t *	mapped_io_ports

uint64_t	program_entry_point_virtual_address

uint64_t	got_physical_address

uint64_t	got_size

uint64_t	guest_stack_physical_base

uint64_t	guest_stack_size

uint64_t	guest_heap_physical_base

uint64_t	guest_heap_size

uint64_t	ept_pml4_base

uint64_t	next_page_address

list_t *	released_pages

task_registers_t *	host_registers

task_registers_t *	guest_registers

void *	extra_data

The documentation for this struct was generated from the following file:

Public Attributes