Searched refs:target_mpidr (Results 1 – 1 of 1) sorted by relevance
74 uint64_t target_mpidr, obs_pc, obs_x0; in main() local94 get_reg(vm, VCPU_ID_TARGET, ARM64_SYS_REG(MPIDR_EL1), &target_mpidr); in main()95 vcpu_args_set(vm, VCPU_ID_SOURCE, 1, target_mpidr & MPIDR_HWID_BITMASK); in main()