HYPERVISOR_get_debugreg
return HYPERVISOR_get_debugreg(0);
return HYPERVISOR_get_debugreg(1);
return HYPERVISOR_get_debugreg(2);
return HYPERVISOR_get_debugreg(3);
return HYPERVISOR_get_debugreg(6);
return HYPERVISOR_get_debugreg(7);