PSCI_RET_INTERNAL_FAILURE
val = PSCI_RET_INTERNAL_FAILURE;
val = PSCI_RET_INTERNAL_FAILURE;
vcpu_set_reg(vcpu, 0, PSCI_RET_INTERNAL_FAILURE);
val = PSCI_RET_INTERNAL_FAILURE;
GUEST_ASSERT(ret == PSCI_RET_INTERNAL_FAILURE);
GUEST_ASSERT(ret == PSCI_RET_INTERNAL_FAILURE);