Searched refs:rm_flags (Results 1 – 1 of 1) sorted by relevance
62 uint32_t rm_flags = (flags >> INTR_RM_FLAGS_SHIFT) & INTR_RM_FLAGS_MASK; in validate_routing_model() local65 return validate_sel1_interrupt_rm(rm_flags); in validate_routing_model()68 return validate_ns_interrupt_rm(rm_flags); in validate_routing_model()71 return validate_el3_interrupt_rm(rm_flags); in validate_routing_model()
Completed in 2 milliseconds