Searched refs:data_pa (Results 1 – 2 of 2) sorted by relevance
463 static int32_t opteed_handle_smc_load(uint64_t data_size, uint64_t data_pa) in opteed_handle_smc_load() argument465 uintptr_t data_va = data_pa; in opteed_handle_smc_load()487 mapped_data_pa = page_align(data_pa, DOWN); in opteed_handle_smc_load()489 data_map_size = page_align(data_size + (mapped_data_pa - data_pa), UP); in opteed_handle_smc_load()644 uint64_t data_pa = dual32to64(x3, x4); in opteed_smc_handler() local645 if (!data_size || !data_pa) { in opteed_smc_handler()655 data_size, data_pa)); in opteed_smc_handler()
1032 …- allow opteed_handle_smc_load to handle 64-bit data_pa ([0c1ca2e](https://review.trustedfirmware.…