Searched refs:bl33_size (Results 1 – 2 of 2) sorted by relevance
44 uint32_t bl33_size; member127 bl33_info.bl33_size); in bl31_platform_setup()
46 uint32_t bl33_size; member232 bl33_info.bl33_size); in bl31_platform_setup()