hypervisor_attach_args
struct hypervisor_attach_args mba_haa;
struct hypervisor_attach_args *haa = aux;