vcpu_register_time_memory_area  384 arch/x86/xen/time.c 	struct vcpu_register_time_memory_area t;
vcpu_register_time_memory_area  404 arch/x86/xen/time.c 	struct vcpu_register_time_memory_area t;
vcpu_register_time_memory_area  434 arch/x86/xen/time.c 	struct vcpu_register_time_memory_area t;
vcpu_register_time_memory_area  221 include/xen/interface/vcpu.h DEFINE_GUEST_HANDLE_STRUCT(vcpu_register_time_memory_area);