4  * Copyright 2008-2010 Freescale Semiconductor, Inc.
74  * 32-bit integer on a 32-bit platform, and a 64-bit integer on a 64-bit
79  * input/output registers are represented with "+r".  Output-only registers
86  * fh_send_nmi - send NMI to virtual cpu(s).
112  * fh_partition_get_dtprop - get a property from a guest device tree.
113  * @handle: handle of partition whose device tree is to be accessed
119  * Returns zero on success, non-zero on error.
167  * @handle: handle of partition whose device tree is to be accessed
173  * Returns zero on success, non-zero on error.
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
280  * The hypervisor creates a 1-to-1 virtual/physical IMA mapping, so at boot
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()
338  * This structure must be aligned on 32-byte boundary, so that no single
349  * fh_partition_memcpy - copies data from one guest to another
350  * @source: the ID of the partition to copy from
351  * @target: the ID of the partition to copy to
389  * fh_dma_enable - enable DMA for the specified device
411  * fh_dma_disable - disable DMA for the specified device
434  * fh_vmpic_get_msir - returns the MPIC-MSI register value
435  * @interrupt: the interrupt number
436  * @msir_val: returned MPIC-MSI register value
440 static inline unsigned int fh_vmpic_get_msir(unsigned int interrupt,  in fh_vmpic_get_msir()  argument
448 	r3 = interrupt;  in fh_vmpic_get_msir()
461  * fh_system_reset - reset the system
482  * fh_err_get_info - get platform error information
488  * platform error data is returned in registers r4 - r11
526  * fh_get_core_state - get the state of a vcpu
528  * @handle: handle of partition containing the vcpu
529  * @vcpu: vcpu number within the partition
555  * fh_enter_nap - enter nap on a vcpu
560  * @handle: handle of partition containing the vcpu
561  * @vcpu: vcpu number within the partition
584  * fh_exit_nap - exit nap on a vcpu
585  * @handle: handle of partition containing the vcpu
586  * @vcpu: vcpu number within the partition
608  * fh_claim_device - claim a "claimable" shared device
609  * @handle: fsl,hv-device-handle of node to claim
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,
634  * and which do not have the no-dma-disable property.
636  * @handle: partition (must be stopped) whose DMA is to be disabled