Lines Matching refs:uint64_t

24 	uint64_t region_address;
25 	uint64_t region_size_type;
49 uint64_t plat_drtm_dma_prot_get_max_table_bytes(void);
58 uint64_t plat_drtm_get_min_size_normal_world_dce(void);
59 uint64_t plat_drtm_get_tcb_hash_table_size(void);
60 uint64_t plat_drtm_get_imp_def_dlme_region_size(void);
61 uint64_t plat_drtm_get_tcb_hash_features(void);
62 uint64_t plat_drtm_get_acpi_tables_region_size(void);
63 uint64_t plat_drtm_get_dlme_img_auth_features(void);
66 int plat_set_drtm_error(uint64_t error_code);
67 int plat_get_drtm_error(uint64_t *error_code);