struct vcpu *v = current;
struct domain *d = v->domain;
- if ( !is_viridian_domain(d) ) {
- gdprintk(XENLOG_WARNING, "%s: %d not a viridian domain\n", __func__,
- d->domain_id);
+ if ( !is_viridian_domain(d) )
return 0;
- }
switch ( idx )
{
struct vcpu *v = current;
struct domain *d = v->domain;
- if ( !is_viridian_domain(d) ) {
- gdprintk(XENLOG_WARNING, "%s: %d not a viridian domain\n", __func__,
- d->domain_id);
+ if ( !is_viridian_domain(d) )
return 0;
- }
switch ( idx )
{
if ( hvm_load_entry(VIRIDIAN_DOMAIN, h, &ctxt) != 0 )
return -EINVAL;
- ASSERT(is_viridian_domain(d));
-
d->arch.hvm_domain.viridian.hypercall_gpa.raw = ctxt.hypercall_gpa;
d->arch.hvm_domain.viridian.guest_os_id.raw = ctxt.guest_os_id;
if ( hvm_load_entry(VIRIDIAN_VCPU, h, &ctxt) != 0 )
return -EINVAL;
- ASSERT(is_viridian_domain(d));
-
v->arch.hvm_vcpu.viridian.apic_assist.raw = ctxt.apic_assist;
return 0;