VM_REG_GUEST_A1
case VM_REG_GUEST_A1:
error = vm_set_register(bsp, VM_REG_GUEST_A1, fdt_gpa);
error = vm_set_register(newvcpu, VM_REG_GUEST_A1,
error = vm_set_register(vcpu, VM_REG_GUEST_A1, val);