Home
last modified time | relevance | path

Searched refs:guest_idx (Results 1 – 1 of 1) sorted by relevance

/optee_os/core/drivers/
H A Daplic_msi.c27 uint32_t hart_idx, uint32_t guest_idx, in aplic_set_target() argument
35 val |= SHIFT_U32(guest_idx, APLIC_TARGET_GUEST_IDX_SHIFT) & in aplic_set_target()