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()69 return validate_ns_interrupt_rm(rm_flags); in validate_routing_model()73 return validate_el3_interrupt_rm(rm_flags); in validate_routing_model()