Searched refs:buf_pa (Results 1 – 3 of 3) sorted by relevance
883 uint64_t buf_pa; in ds_get_hv_pri() local921 buf_pa = va_to_pa(buf_va); in ds_get_hv_pri()922 DS_PRI_DBG("ds_get_hv_pri: buf_pa 0x%lx\n", buf_pa); in ds_get_hv_pri()923 status = hv_mach_pri(buf_pa, &pri_size); in ds_get_hv_pri()
372 extern uint64_t hv_service_recv(uint64_t s_id, uint64_t buf_pa,374 extern uint64_t hv_service_send(uint64_t s_id, uint64_t buf_pa,
126 uint64_t buf_pa; in store_boot_cmd() local173 buf_pa = va_to_pa(cmd_buf); in store_boot_cmd()174 status = hv_reboot_data_set(buf_pa, len); in store_boot_cmd()