vmm: Move user_data to struct guest_thread (XCC)
authorBarret Rhoden <brho@cs.berkeley.edu>
Mon, 11 Sep 2017 19:19:16 +0000 (15:19 -0400)
committerBarret Rhoden <brho@cs.berkeley.edu>
Thu, 14 Sep 2017 20:37:58 +0000 (16:37 -0400)
commit9efa04b2e5300ebc21d0b00e4880f96931a5a34a
tree79424b979b2e4f5a387c05e687f9837158c7ec16
parent774cdfb492265288f74d7ce4a06584cd5004b1d6
vmm: Move user_data to struct guest_thread (XCC)

There's no need for it to be part of the gpci.  Soon, gpci will also hang
off the guest thread, as part of the "dynamic guest thread" changes.

This required a little cleanup for the VM LAPIC timer/alarms.  It's easier
to pass around pointers to the guest threads, since the gth can easily give
you the gpc_id and gpci.

Reinstall your kernel headers.

Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
kern/arch/x86/ros/vmm.h
tests/vmm/vmrunkernel.c
user/vmm/include/vmm/sched.h
user/vmm/include/vmm/vmm.h
user/vmm/vmxmsr.c