183 	DECLARE_REG(phys_addr_t, tx, ctxt, 1);  in do_ffa_rxtx_map()
184 	DECLARE_REG(phys_addr_t, rx, ctxt, 2);  in do_ffa_rxtx_map()
185 	DECLARE_REG(u32, npages, ctxt, 3);  in do_ffa_rxtx_map()
262 	DECLARE_REG(u32, id, ctxt, 1);  in do_ffa_rxtx_unmap()
363 	DECLARE_REG(u32, handle_lo, ctxt, 1);  in do_ffa_mem_frag_tx()
364 	DECLARE_REG(u32, handle_hi, ctxt, 2);  in do_ffa_mem_frag_tx()
365 	DECLARE_REG(u32, fraglen, ctxt, 3);  in do_ffa_mem_frag_tx()
366 	DECLARE_REG(u32, endpoint_id, ctxt, 4);  in do_ffa_mem_frag_tx()
422 	DECLARE_REG(u32, len, ctxt, 1);  in do_ffa_mem_xfer()
423 	DECLARE_REG(u32, fraglen, ctxt, 2);  in do_ffa_mem_xfer()
424 	DECLARE_REG(u64, addr_mbz, ctxt, 3);  in do_ffa_mem_xfer()
425 	DECLARE_REG(u32, npages_mbz, ctxt, 4);  in do_ffa_mem_xfer()
504 	DECLARE_REG(u32, handle_lo, ctxt, 1);  in do_ffa_mem_reclaim()
505 	DECLARE_REG(u32, handle_hi, ctxt, 2);  in do_ffa_mem_reclaim()
506 	DECLARE_REG(u32, flags, ctxt, 3);  in do_ffa_mem_reclaim()
611 	DECLARE_REG(u32, id, ctxt, 1);  in do_ffa_features()