Lines Matching defs:flags

85 		uint32_t flags, void *handle, void *cookie);
102 		uint32_t flags;
113 		flags = 0U;
114 		set_interrupt_rm_flag(flags, NON_SECURE);
117 				flags);
175 		uint32_t flags,
180 	assert(get_interrupt_src_ss(flags) == NON_SECURE);
290 		u_register_t flags)
298 	(void) flags;
319 		u_register_t flags)
324 	ns = is_caller_non_secure(flags);
430 				     cookie, handle, flags);
440 		u_register_t flags)
447 								  flags);