Searched refs:target_gpi (Results 1 – 3 of 3) sorted by relevance
| /rk3399_ARM-atf/lib/gpt_rme/ |
| H A D | gpt_rme.c | 1072 uint8_t target_gpi) in is_gpi_transition_permitted() argument 1085 return (gpi_config[current_gpi].policy[caller] >> target_gpi) & 0x1; in is_gpi_transition_permitted() 1766 static inline void gpt_write_entry(uint64_t base, uint8_t target_gpi, in gpt_write_entry() argument 1771 gpi_info->gpi_shift, gpi_info->idx, target_gpi); in gpt_write_entry() 1777 static inline void gpt_delegate(uint64_t base, uint8_t target_gpi, in gpt_delegate() argument 1786 flush_page_to_popa(base | GPI_TO_NSE(target_gpi)); in gpt_delegate() 1788 gpt_write_entry(base, target_gpi, gpi_info); in gpt_delegate() 1794 static inline void gpt_undelegate(uint64_t base, uint8_t target_gpi, in gpt_undelegate() argument 1815 flush_page_to_popa(base | GPI_TO_NSE(target_gpi)); in gpt_undelegate() 1817 gpt_write_entry(base, target_gpi, gpi_info); in gpt_undelegate() [all …]
|
| /rk3399_ARM-atf/services/std_svc/firme/ |
| H A D | firme_granule_management_service.c | 78 uint8_t target_gpi = (x3 >> FIRME_GM_GPI_SET_TGT_GPI_SHIFT) & in firme_granule_mgmt_service_handler() local 87 target_gpi, in firme_granule_mgmt_service_handler()
|
| /rk3399_ARM-atf/include/lib/gpt_rme/ |
| H A D | gpt_rme.h | 320 uint8_t target_gpi, uint8_t src_sec_state);
|