Searched refs:cmse_address_info_t (Results 1 – 1 of 1) sorted by relevance
86 } cmse_address_info_t; typedef88 static cmse_address_info_t __attribute__((__always_inline__, __nodebug__))90 cmse_address_info_t __u; in cmse_TT()94 static cmse_address_info_t __attribute__((__always_inline__, __nodebug__))96 cmse_address_info_t __u; in cmse_TTT()102 static cmse_address_info_t __attribute__((__always_inline__, __nodebug__))104 cmse_address_info_t __u; in cmse_TTA()108 static cmse_address_info_t __attribute__((__always_inline__, __nodebug__))110 cmse_address_info_t __u; in cmse_TTAT()137 cmse_address_info_t __permb, __perme; in cmse_check_address_range()