Searched refs:shared_buf_base (Results 1 – 2 of 2) sorted by relevance
66 uintptr_t shared_buf_base; in validate_buffer_params() local68 (void)plat_rmmd_get_el3_rmm_shared_mem(&shared_buf_base); in validate_buffer_params()70 shared_buf_page = shared_buf_base & ~PAGE_SIZE_MASK; in validate_buffer_params()
170 uintptr_t shared_buf_base; in rmmd_setup() local203 plat_rmmd_get_el3_rmm_shared_mem(&shared_buf_base); in rmmd_setup()206 ((void *)shared_buf_base != NULL)); in rmmd_setup()209 manifest = (rmm_manifest_t *)shared_buf_base; in rmmd_setup()215 flush_dcache_range((uintptr_t)shared_buf_base, shared_buf_size); in rmmd_setup()228 rmm_ep_info->args.arg3 = shared_buf_base; in rmmd_setup()
Completed in 2 milliseconds