Searched defs:sec_state (Results 1 – 2 of 2) sorted by relevance
427 uint32_t sec_state = (uint32_t)(ns_bit | (nse_bit << 1ULL)); in xlat_get_mem_attributes_internal() local
374 unsigned int sec_state; in sdei_intr_handler() local