Searched defs:start_idx (Results 1 – 3 of 3) sorted by relevance
54 uint32_t start_idx; member
94 unsigned int index, start_idx, end_idx; in runtime_svc_init() local
401 unsigned int start_idx, ncpus; in psci_do_state_coordination() local