NRF_REGISTERED
ns_reg[moduleid].nr_flags = NRF_REGISTERED;
ASSERT(ns_reg[moduleid].nr_flags & NRF_REGISTERED);
if ((ns_reg[moduleid].nr_flags & NRF_REGISTERED) &&
ASSERT(ns_reg[moduleid].nr_flags & NRF_REGISTERED);
if ((ns_reg[i].nr_flags == NRF_REGISTERED) &&
if ((ns_reg[i].nr_flags & NRF_REGISTERED) &&
if ((ns_reg[i].nr_flags & NRF_REGISTERED) &&
if ((ns_reg[i].nr_flags & NRF_REGISTERED) &&