// © 2021 Qualcomm Innovation Center, Inc. All rights reserved.
//
// SPDX-License-Identifier: BSD-3-Clause

define cspace_configure hypercall {
	call_num	0x25;
	cspace		input type cap_id_t;
	max_caps	input type count_t;
	res0		input uregister;
	error		output enumeration error;
};