Home
last modified time | relevance | path

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

/optee_os/core/arch/arm/kernel/
H A Dthread_spmc.c1819 uint32_t more_pending_flag = 0; in handle_notification_info_get() local
1853 more_pending_flag = BIT(0); in handle_notification_info_get()
1856 if (!IS_ENABLED(CFG_NS_VIRTUALIZATION) || more_pending_flag) in handle_notification_info_get()
1867 more_pending_flag; in handle_notification_info_get()