113  * @handle: handle of partition whose device tree is to be accessed
167  * @handle: handle of partition whose device tree is to be accessed
219  * fh_partition_restart - reboot the current partition
220  * @partition: partition ID
224 static inline unsigned int fh_partition_restart(unsigned int partition)  in fh_partition_restart()  argument
230 	r3 = partition;  in fh_partition_restart()
249  * fh_partition_get_status - gets the status of a partition
250  * @partition: partition ID
255 static inline unsigned int fh_partition_get_status(unsigned int partition,  in fh_partition_get_status()  argument
263 	r3 = partition;  in fh_partition_get_status()
276  * fh_partition_start - boots and starts execution of the specified partition
277  * @partition: partition ID
285 static inline unsigned int fh_partition_start(unsigned int partition,  in fh_partition_start()  argument
294 	r3 = partition;  in fh_partition_start()
307  * fh_partition_stop - stops another partition
308  * @partition: partition ID
312 static inline unsigned int fh_partition_stop(unsigned int partition)  in fh_partition_stop()  argument
318 	r3 = partition;  in fh_partition_stop()
350  * @source: the ID of the partition to copy from
351  * @target: the ID of the partition to copy to
528  * @handle: handle of partition containing the vcpu
529  * @vcpu: vcpu number within the partition
560  * @handle: handle of partition containing the vcpu
561  * @vcpu: vcpu number within the partition
585  * @handle: handle of partition containing the vcpu
586  * @vcpu: vcpu number within the partition
630  * Run deferred DMA disabling on a partition's private devices
632  * This applies to devices which a partition owns either privately,
633  * or which are claimable and still actively owned by that partition,
636  * @handle: partition (must be stopped) whose DMA is to be disabled