Searched defs:hart_idx (Results 1 – 2 of 2) sorted by relevance
| /optee_os/core/drivers/ | ||
| H A D | aplic_msi.c | 27 uint32_t hart_idx, uint32_t guest_idx, in aplic_set_target() |
| H A D | aplic_direct.c | 64 uint32_t hart_idx, uint32_t iprio) in aplic_set_target() |