Searched refs:vcpu_id (Results 1 – 1 of 1) sorted by relevance
1503 uint16_t vcpu_id = FFA_RUN_VCPU_ID(x1); in ffa_run_handler() local1532 if (idx != vcpu_id) { in ffa_run_handler()1533 ERROR("Cannot run vcpu %d != %d.\n", idx, vcpu_id); in ffa_run_handler()