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.c1823 uint32_t more_pending_flag = 0; in handle_notification_info_get() local
1857 more_pending_flag = BIT(0); in handle_notification_info_get()
1860 if (!IS_ENABLED(CFG_NS_VIRTUALIZATION) || more_pending_flag) in handle_notification_info_get()
1871 more_pending_flag; in handle_notification_info_get()