Searched defs:target_gpi (Results 1 – 2 of 2) sorted by relevance
78 uint8_t target_gpi = (x3 >> FIRME_GM_GPI_SET_TGT_GPI_SHIFT) & in firme_granule_mgmt_service_handler() local
1072 uint8_t target_gpi) in is_gpi_transition_permitted()1766 static inline void gpt_write_entry(uint64_t base, uint8_t target_gpi, in gpt_write_entry()1777 static inline void gpt_delegate(uint64_t base, uint8_t target_gpi, in gpt_delegate()1794 static inline void gpt_undelegate(uint64_t base, uint8_t target_gpi, in gpt_undelegate()1841 uint8_t target_gpi, uint8_t src_sec_state) in gpt_transition_pas()