hypervisor_attach_cookie
union hypervisor_attach_cookie hac;
union hypervisor_attach_cookie *hac = aux;