Searched refs:validate_sel1_interrupt_rm (Results 1 – 2 of 2) sorted by relevance
92 static inline int32_t validate_sel1_interrupt_rm(uint32_t x) in validate_sel1_interrupt_rm() function
65 return validate_sel1_interrupt_rm(rm_flags); in validate_routing_model()