2 * Freescale Hypervisor Management Driver
4 * Copyright (C) 2008-2011 Freescale Semiconductor, Inc.
5 * Author: Timur Tabi <timur@freescale.com>
7 * This file is licensed under the terms of the GNU General Public License
8 * version 2. This program is licensed "as is" without any warranty of any
9 * kind, whether express or implied.
11 * The Freescale hypervisor management driver provides several services to
12 * drivers and applications related to the Freescale hypervisor:
14 * 1. An ioctl interface for querying and managing partitions.
16 * 2. A file interface to reading incoming doorbells.
18 * 3. An interrupt handler for shutting down the partition upon receiving the
19 * shutdown doorbell from a manager partition.
21 * 4. A kernel interface for receiving callbacks when a managed partition
25 #include <linux/kernel.h>
26 #include <linux/module.h>
27 #include <linux/init.h>
28 #include <linux/types.h>
29 #include <linux/err.h>
31 #include <linux/miscdevice.h>
33 #include <linux/pagemap.h>
34 #include <linux/slab.h>
35 #include <linux/poll.h>
37 #include <linux/of_irq.h>
38 #include <linux/reboot.h>
39 #include <linux/uaccess.h>
40 #include <linux/notifier.h>
41 #include <linux/interrupt.h>
44 #include <asm/fsl_hcalls.h>
46 #include <linux/fsl_hypervisor.h>
48 static BLOCKING_NOTIFIER_HEAD(failover_subscribers
);
51 * Ioctl interface for FSL_HV_IOCTL_PARTITION_RESTART
53 * Restart a running partition
55 static long ioctl_restart(struct fsl_hv_ioctl_restart __user
*p
)
57 struct fsl_hv_ioctl_restart param
;
59 /* Get the parameters from the user */
60 if (copy_from_user(¶m
, p
, sizeof(struct fsl_hv_ioctl_restart
)))
63 param
.ret
= fh_partition_restart(param
.partition
);
65 if (copy_to_user(&p
->ret
, ¶m
.ret
, sizeof(__u32
)))
72 * Ioctl interface for FSL_HV_IOCTL_PARTITION_STATUS
74 * Query the status of a partition
76 static long ioctl_status(struct fsl_hv_ioctl_status __user
*p
)
78 struct fsl_hv_ioctl_status param
;
81 /* Get the parameters from the user */
82 if (copy_from_user(¶m
, p
, sizeof(struct fsl_hv_ioctl_status
)))
85 param
.ret
= fh_partition_get_status(param
.partition
, &status
);
87 param
.status
= status
;
89 if (copy_to_user(p
, ¶m
, sizeof(struct fsl_hv_ioctl_status
)))
96 * Ioctl interface for FSL_HV_IOCTL_PARTITION_START
98 * Start a stopped partition.
100 static long ioctl_start(struct fsl_hv_ioctl_start __user
*p
)
102 struct fsl_hv_ioctl_start param
;
104 /* Get the parameters from the user */
105 if (copy_from_user(¶m
, p
, sizeof(struct fsl_hv_ioctl_start
)))
108 param
.ret
= fh_partition_start(param
.partition
, param
.entry_point
,
111 if (copy_to_user(&p
->ret
, ¶m
.ret
, sizeof(__u32
)))
118 * Ioctl interface for FSL_HV_IOCTL_PARTITION_STOP
120 * Stop a running partition
122 static long ioctl_stop(struct fsl_hv_ioctl_stop __user
*p
)
124 struct fsl_hv_ioctl_stop param
;
126 /* Get the parameters from the user */
127 if (copy_from_user(¶m
, p
, sizeof(struct fsl_hv_ioctl_stop
)))
130 param
.ret
= fh_partition_stop(param
.partition
);
132 if (copy_to_user(&p
->ret
, ¶m
.ret
, sizeof(__u32
)))
139 * Ioctl interface for FSL_HV_IOCTL_MEMCPY
141 * The FH_MEMCPY hypercall takes an array of address/address/size structures
142 * to represent the data being copied. As a convenience to the user, this
143 * ioctl takes a user-create buffer and a pointer to a guest physically
144 * contiguous buffer in the remote partition, and creates the
145 * address/address/size array for the hypercall.
147 static long ioctl_memcpy(struct fsl_hv_ioctl_memcpy __user
*p
)
149 struct fsl_hv_ioctl_memcpy param
;
151 struct page
**pages
= NULL
;
152 void *sg_list_unaligned
= NULL
;
153 struct fh_sg_list
*sg_list
= NULL
;
155 unsigned int num_pages
;
156 unsigned long lb_offset
; /* Offset within a page of the local buffer */
160 int num_pinned
; /* return value from get_user_pages() */
161 phys_addr_t remote_paddr
; /* The next address in the remote buffer */
162 uint32_t count
; /* The number of bytes left to copy */
164 /* Get the parameters from the user */
165 if (copy_from_user(¶m
, p
, sizeof(struct fsl_hv_ioctl_memcpy
)))
169 * One partition must be local, the other must be remote. In other
170 * words, if source and target are both -1, or are both not -1, then
173 if ((param
.source
== -1) == (param
.target
== -1))
177 * The array of pages returned by get_user_pages() covers only
178 * page-aligned memory. Since the user buffer is probably not
179 * page-aligned, we need to handle the discrepancy.
181 * We calculate the offset within a page of the S/G list, and make
182 * adjustments accordingly. This will result in a page list that looks
185 * ---- <-- first page starts before the buffer
206 * | | <-- last page ends after the buffer
209 * The distance between the start of the first page and the start of the
210 * buffer is lb_offset. The hashed (///) areas are the parts of the
211 * page list that contain the actual buffer.
213 * The advantage of this approach is that the number of pages is
214 * equal to the number of entries in the S/G list that we give to the
217 lb_offset
= param
.local_vaddr
& (PAGE_SIZE
- 1);
218 if (param
.count
== 0 ||
219 param
.count
> U64_MAX
- lb_offset
- PAGE_SIZE
+ 1)
221 num_pages
= (param
.count
+ lb_offset
+ PAGE_SIZE
- 1) >> PAGE_SHIFT
;
223 /* Allocate the buffers we need */
226 * 'pages' is an array of struct page pointers that's initialized by
229 pages
= kzalloc(num_pages
* sizeof(struct page
*), GFP_KERNEL
);
231 pr_debug("fsl-hv: could not allocate page list\n");
236 * sg_list is the list of fh_sg_list objects that we pass to the
239 sg_list_unaligned
= kmalloc(num_pages
* sizeof(struct fh_sg_list
) +
240 sizeof(struct fh_sg_list
) - 1, GFP_KERNEL
);
241 if (!sg_list_unaligned
) {
242 pr_debug("fsl-hv: could not allocate S/G list\n");
246 sg_list
= PTR_ALIGN(sg_list_unaligned
, sizeof(struct fh_sg_list
));
248 /* Get the physical addresses of the source buffer */
249 down_read(¤t
->mm
->mmap_sem
);
250 num_pinned
= get_user_pages(param
.local_vaddr
- lb_offset
,
251 num_pages
, (param
.source
== -1) ? 0 : FOLL_WRITE
,
253 up_read(¤t
->mm
->mmap_sem
);
255 if (num_pinned
!= num_pages
) {
256 /* get_user_pages() failed */
257 pr_debug("fsl-hv: could not lock source buffer\n");
258 ret
= (num_pinned
< 0) ? num_pinned
: -EFAULT
;
263 * Build the fh_sg_list[] array. The first page is special
264 * because it's misaligned.
266 if (param
.source
== -1) {
267 sg_list
[0].source
= page_to_phys(pages
[0]) + lb_offset
;
268 sg_list
[0].target
= param
.remote_paddr
;
270 sg_list
[0].source
= param
.remote_paddr
;
271 sg_list
[0].target
= page_to_phys(pages
[0]) + lb_offset
;
273 sg_list
[0].size
= min_t(uint64_t, param
.count
, PAGE_SIZE
- lb_offset
);
275 remote_paddr
= param
.remote_paddr
+ sg_list
[0].size
;
276 count
= param
.count
- sg_list
[0].size
;
278 for (i
= 1; i
< num_pages
; i
++) {
279 if (param
.source
== -1) {
280 /* local to remote */
281 sg_list
[i
].source
= page_to_phys(pages
[i
]);
282 sg_list
[i
].target
= remote_paddr
;
284 /* remote to local */
285 sg_list
[i
].source
= remote_paddr
;
286 sg_list
[i
].target
= page_to_phys(pages
[i
]);
288 sg_list
[i
].size
= min_t(uint64_t, count
, PAGE_SIZE
);
290 remote_paddr
+= sg_list
[i
].size
;
291 count
-= sg_list
[i
].size
;
294 param
.ret
= fh_partition_memcpy(param
.source
, param
.target
,
295 virt_to_phys(sg_list
), num_pages
);
299 for (i
= 0; i
< num_pages
; i
++)
304 kfree(sg_list_unaligned
);
308 if (copy_to_user(&p
->ret
, ¶m
.ret
, sizeof(__u32
)))
315 * Ioctl interface for FSL_HV_IOCTL_DOORBELL
319 static long ioctl_doorbell(struct fsl_hv_ioctl_doorbell __user
*p
)
321 struct fsl_hv_ioctl_doorbell param
;
323 /* Get the parameters from the user. */
324 if (copy_from_user(¶m
, p
, sizeof(struct fsl_hv_ioctl_doorbell
)))
327 param
.ret
= ev_doorbell_send(param
.doorbell
);
329 if (copy_to_user(&p
->ret
, ¶m
.ret
, sizeof(__u32
)))
335 static long ioctl_dtprop(struct fsl_hv_ioctl_prop __user
*p
, int set
)
337 struct fsl_hv_ioctl_prop param
;
338 char __user
*upath
, *upropname
;
339 void __user
*upropval
;
340 char *path
, *propname
;
344 /* Get the parameters from the user. */
345 if (copy_from_user(¶m
, p
, sizeof(struct fsl_hv_ioctl_prop
)))
348 upath
= (char __user
*)(uintptr_t)param
.path
;
349 upropname
= (char __user
*)(uintptr_t)param
.propname
;
350 upropval
= (void __user
*)(uintptr_t)param
.propval
;
352 path
= strndup_user(upath
, FH_DTPROP_MAX_PATHLEN
);
354 return PTR_ERR(path
);
356 propname
= strndup_user(upropname
, FH_DTPROP_MAX_PATHLEN
);
357 if (IS_ERR(propname
)) {
358 ret
= PTR_ERR(propname
);
362 if (param
.proplen
> FH_DTPROP_MAX_PROPLEN
) {
364 goto err_free_propname
;
367 propval
= kmalloc(param
.proplen
, GFP_KERNEL
);
370 goto err_free_propname
;
374 if (copy_from_user(propval
, upropval
, param
.proplen
)) {
376 goto err_free_propval
;
379 param
.ret
= fh_partition_set_dtprop(param
.handle
,
381 virt_to_phys(propname
),
382 virt_to_phys(propval
),
385 param
.ret
= fh_partition_get_dtprop(param
.handle
,
387 virt_to_phys(propname
),
388 virt_to_phys(propval
),
391 if (param
.ret
== 0) {
392 if (copy_to_user(upropval
, propval
, param
.proplen
) ||
393 put_user(param
.proplen
, &p
->proplen
)) {
395 goto err_free_propval
;
400 if (put_user(param
.ret
, &p
->ret
))
414 * Ioctl main entry point
416 static long fsl_hv_ioctl(struct file
*file
, unsigned int cmd
,
417 unsigned long argaddr
)
419 void __user
*arg
= (void __user
*)argaddr
;
423 case FSL_HV_IOCTL_PARTITION_RESTART
:
424 ret
= ioctl_restart(arg
);
426 case FSL_HV_IOCTL_PARTITION_GET_STATUS
:
427 ret
= ioctl_status(arg
);
429 case FSL_HV_IOCTL_PARTITION_START
:
430 ret
= ioctl_start(arg
);
432 case FSL_HV_IOCTL_PARTITION_STOP
:
433 ret
= ioctl_stop(arg
);
435 case FSL_HV_IOCTL_MEMCPY
:
436 ret
= ioctl_memcpy(arg
);
438 case FSL_HV_IOCTL_DOORBELL
:
439 ret
= ioctl_doorbell(arg
);
441 case FSL_HV_IOCTL_GETPROP
:
442 ret
= ioctl_dtprop(arg
, 0);
444 case FSL_HV_IOCTL_SETPROP
:
445 ret
= ioctl_dtprop(arg
, 1);
448 pr_debug("fsl-hv: bad ioctl dir=%u type=%u cmd=%u size=%u\n",
449 _IOC_DIR(cmd
), _IOC_TYPE(cmd
), _IOC_NR(cmd
),
457 /* Linked list of processes that have us open */
458 static struct list_head db_list
;
460 /* spinlock for db_list */
461 static DEFINE_SPINLOCK(db_list_lock
);
463 /* The size of the doorbell event queue. This must be a power of two. */
466 /* Returns the next head/tail pointer, wrapping around the queue if necessary */
467 #define nextp(x) (((x) + 1) & (QSIZE - 1))
469 /* Per-open data structure */
470 struct doorbell_queue
{
471 struct list_head list
;
473 wait_queue_head_t wait
;
479 /* Linked list of ISRs that we registered */
480 struct list_head isr_list
;
482 /* Per-ISR data structure */
483 struct doorbell_isr
{
484 struct list_head list
;
486 uint32_t doorbell
; /* The doorbell handle */
487 uint32_t partition
; /* The partition handle, if used */
491 * Add a doorbell to all of the doorbell queues
493 static void fsl_hv_queue_doorbell(uint32_t doorbell
)
495 struct doorbell_queue
*dbq
;
498 /* Prevent another core from modifying db_list */
499 spin_lock_irqsave(&db_list_lock
, flags
);
501 list_for_each_entry(dbq
, &db_list
, list
) {
502 if (dbq
->head
!= nextp(dbq
->tail
)) {
503 dbq
->q
[dbq
->tail
] = doorbell
;
505 * This memory barrier eliminates the need to grab
506 * the spinlock for dbq.
509 dbq
->tail
= nextp(dbq
->tail
);
510 wake_up_interruptible(&dbq
->wait
);
514 spin_unlock_irqrestore(&db_list_lock
, flags
);
518 * Interrupt handler for all doorbells
520 * We use the same interrupt handler for all doorbells. Whenever a doorbell
521 * is rung, and we receive an interrupt, we just put the handle for that
522 * doorbell (passed to us as *data) into all of the queues.
524 static irqreturn_t
fsl_hv_isr(int irq
, void *data
)
526 fsl_hv_queue_doorbell((uintptr_t) data
);
532 * State change thread function
534 * The state change notification arrives in an interrupt, but we can't call
535 * blocking_notifier_call_chain() in an interrupt handler. We could call
536 * atomic_notifier_call_chain(), but that would require the clients' call-back
537 * function to run in interrupt context. Since we don't want to impose that
538 * restriction on the clients, we use a threaded IRQ to process the
539 * notification in kernel context.
541 static irqreturn_t
fsl_hv_state_change_thread(int irq
, void *data
)
543 struct doorbell_isr
*dbisr
= data
;
545 blocking_notifier_call_chain(&failover_subscribers
, dbisr
->partition
,
552 * Interrupt handler for state-change doorbells
554 static irqreturn_t
fsl_hv_state_change_isr(int irq
, void *data
)
557 struct doorbell_isr
*dbisr
= data
;
560 /* It's still a doorbell, so add it to all the queues. */
561 fsl_hv_queue_doorbell(dbisr
->doorbell
);
563 /* Determine the new state, and if it's stopped, notify the clients. */
564 ret
= fh_partition_get_status(dbisr
->partition
, &status
);
565 if (!ret
&& (status
== FH_PARTITION_STOPPED
))
566 return IRQ_WAKE_THREAD
;
572 * Returns a bitmask indicating whether a read will block
574 static unsigned int fsl_hv_poll(struct file
*filp
, struct poll_table_struct
*p
)
576 struct doorbell_queue
*dbq
= filp
->private_data
;
580 spin_lock_irqsave(&dbq
->lock
, flags
);
582 poll_wait(filp
, &dbq
->wait
, p
);
583 mask
= (dbq
->head
== dbq
->tail
) ? 0 : (POLLIN
| POLLRDNORM
);
585 spin_unlock_irqrestore(&dbq
->lock
, flags
);
591 * Return the handles for any incoming doorbells
593 * If there are doorbell handles in the queue for this open instance, then
594 * return them to the caller as an array of 32-bit integers. Otherwise,
595 * block until there is at least one handle to return.
597 static ssize_t
fsl_hv_read(struct file
*filp
, char __user
*buf
, size_t len
,
600 struct doorbell_queue
*dbq
= filp
->private_data
;
601 uint32_t __user
*p
= (uint32_t __user
*) buf
; /* for put_user() */
605 /* Make sure we stop when the user buffer is full. */
606 while (len
>= sizeof(uint32_t)) {
607 uint32_t dbell
; /* Local copy of doorbell queue data */
609 spin_lock_irqsave(&dbq
->lock
, flags
);
612 * If the queue is empty, then either we're done or we need
613 * to block. If the application specified O_NONBLOCK, then
614 * we return the appropriate error code.
616 if (dbq
->head
== dbq
->tail
) {
617 spin_unlock_irqrestore(&dbq
->lock
, flags
);
620 if (filp
->f_flags
& O_NONBLOCK
)
622 if (wait_event_interruptible(dbq
->wait
,
623 dbq
->head
!= dbq
->tail
))
629 * Even though we have an smp_wmb() in the ISR, the core
630 * might speculatively execute the "dbell = ..." below while
631 * it's evaluating the if-statement above. In that case, the
632 * value put into dbell could be stale if the core accepts the
633 * speculation. To prevent that, we need a read memory barrier
638 /* Copy the data to a temporary local buffer, because
639 * we can't call copy_to_user() from inside a spinlock
641 dbell
= dbq
->q
[dbq
->head
];
642 dbq
->head
= nextp(dbq
->head
);
644 spin_unlock_irqrestore(&dbq
->lock
, flags
);
646 if (put_user(dbell
, p
))
649 count
+= sizeof(uint32_t);
650 len
-= sizeof(uint32_t);
657 * Open the driver and prepare for reading doorbells.
659 * Every time an application opens the driver, we create a doorbell queue
660 * for that file handle. This queue is used for any incoming doorbells.
662 static int fsl_hv_open(struct inode
*inode
, struct file
*filp
)
664 struct doorbell_queue
*dbq
;
668 dbq
= kzalloc(sizeof(struct doorbell_queue
), GFP_KERNEL
);
670 pr_err("fsl-hv: out of memory\n");
674 spin_lock_init(&dbq
->lock
);
675 init_waitqueue_head(&dbq
->wait
);
677 spin_lock_irqsave(&db_list_lock
, flags
);
678 list_add(&dbq
->list
, &db_list
);
679 spin_unlock_irqrestore(&db_list_lock
, flags
);
681 filp
->private_data
= dbq
;
689 static int fsl_hv_close(struct inode
*inode
, struct file
*filp
)
691 struct doorbell_queue
*dbq
= filp
->private_data
;
696 spin_lock_irqsave(&db_list_lock
, flags
);
697 list_del(&dbq
->list
);
698 spin_unlock_irqrestore(&db_list_lock
, flags
);
705 static const struct file_operations fsl_hv_fops
= {
706 .owner
= THIS_MODULE
,
708 .release
= fsl_hv_close
,
711 .unlocked_ioctl
= fsl_hv_ioctl
,
712 .compat_ioctl
= fsl_hv_ioctl
,
715 static struct miscdevice fsl_hv_misc_dev
= {
721 static irqreturn_t
fsl_hv_shutdown_isr(int irq
, void *data
)
723 orderly_poweroff(false);
729 * Returns the handle of the parent of the given node
731 * The handle is the value of the 'hv-handle' property
733 static int get_parent_handle(struct device_node
*np
)
735 struct device_node
*parent
;
736 const uint32_t *prop
;
740 parent
= of_get_parent(np
);
742 /* It's not really possible for this to fail */
746 * The proper name for the handle property is "hv-handle", but some
747 * older versions of the hypervisor used "reg".
749 prop
= of_get_property(parent
, "hv-handle", &len
);
751 prop
= of_get_property(parent
, "reg", &len
);
753 if (!prop
|| (len
!= sizeof(uint32_t))) {
754 /* This can happen only if the node is malformed */
759 handle
= be32_to_cpup(prop
);
766 * Register a callback for failover events
768 * This function is called by device drivers to register their callback
769 * functions for fail-over events.
771 int fsl_hv_failover_register(struct notifier_block
*nb
)
773 return blocking_notifier_chain_register(&failover_subscribers
, nb
);
775 EXPORT_SYMBOL(fsl_hv_failover_register
);
778 * Unregister a callback for failover events
780 int fsl_hv_failover_unregister(struct notifier_block
*nb
)
782 return blocking_notifier_chain_unregister(&failover_subscribers
, nb
);
784 EXPORT_SYMBOL(fsl_hv_failover_unregister
);
787 * Return TRUE if we're running under FSL hypervisor
789 * This function checks to see if we're running under the Freescale
790 * hypervisor, and returns zero if we're not, or non-zero if we are.
792 * First, it checks if MSR[GS]==1, which means we're running under some
793 * hypervisor. Then it checks if there is a hypervisor node in the device
794 * tree. Currently, that means there needs to be a node in the root called
795 * "hypervisor" and which has a property named "fsl,hv-version".
797 static int has_fsl_hypervisor(void)
799 struct device_node
*node
;
802 node
= of_find_node_by_path("/hypervisor");
806 ret
= of_find_property(node
, "fsl,hv-version", NULL
) != NULL
;
814 * Freescale hypervisor management driver init
816 * This function is called when this module is loaded.
818 * Register ourselves as a miscellaneous driver. This will register the
819 * fops structure and create the right sysfs entries for udev.
821 static int __init
fsl_hypervisor_init(void)
823 struct device_node
*np
;
824 struct doorbell_isr
*dbisr
, *n
;
827 pr_info("Freescale hypervisor management driver\n");
829 if (!has_fsl_hypervisor()) {
830 pr_info("fsl-hv: no hypervisor found\n");
834 ret
= misc_register(&fsl_hv_misc_dev
);
836 pr_err("fsl-hv: cannot register device\n");
840 INIT_LIST_HEAD(&db_list
);
841 INIT_LIST_HEAD(&isr_list
);
843 for_each_compatible_node(np
, NULL
, "epapr,hv-receive-doorbell") {
845 const uint32_t *handle
;
847 handle
= of_get_property(np
, "interrupts", NULL
);
848 irq
= irq_of_parse_and_map(np
, 0);
849 if (!handle
|| (irq
== NO_IRQ
)) {
850 pr_err("fsl-hv: no 'interrupts' property in %s node\n",
855 dbisr
= kzalloc(sizeof(*dbisr
), GFP_KERNEL
);
860 dbisr
->doorbell
= be32_to_cpup(handle
);
862 if (of_device_is_compatible(np
, "fsl,hv-shutdown-doorbell")) {
863 /* The shutdown doorbell gets its own ISR */
864 ret
= request_irq(irq
, fsl_hv_shutdown_isr
, 0,
866 } else if (of_device_is_compatible(np
,
867 "fsl,hv-state-change-doorbell")) {
869 * The state change doorbell triggers a notification if
870 * the state of the managed partition changes to
871 * "stopped". We need a separate interrupt handler for
872 * that, and we also need to know the handle of the
873 * target partition, not just the handle of the
876 dbisr
->partition
= ret
= get_parent_handle(np
);
878 pr_err("fsl-hv: node %s has missing or "
879 "malformed parent\n", np
->full_name
);
883 ret
= request_threaded_irq(irq
, fsl_hv_state_change_isr
,
884 fsl_hv_state_change_thread
,
887 ret
= request_irq(irq
, fsl_hv_isr
, 0, np
->name
, dbisr
);
890 pr_err("fsl-hv: could not request irq %u for node %s\n",
896 list_add(&dbisr
->list
, &isr_list
);
898 pr_info("fsl-hv: registered handler for doorbell %u\n",
905 list_for_each_entry_safe(dbisr
, n
, &isr_list
, list
) {
906 free_irq(dbisr
->irq
, dbisr
);
907 list_del(&dbisr
->list
);
911 misc_deregister(&fsl_hv_misc_dev
);
917 * Freescale hypervisor management driver termination
919 * This function is called when this driver is unloaded.
921 static void __exit
fsl_hypervisor_exit(void)
923 struct doorbell_isr
*dbisr
, *n
;
925 list_for_each_entry_safe(dbisr
, n
, &isr_list
, list
) {
926 free_irq(dbisr
->irq
, dbisr
);
927 list_del(&dbisr
->list
);
931 misc_deregister(&fsl_hv_misc_dev
);
934 module_init(fsl_hypervisor_init
);
935 module_exit(fsl_hypervisor_exit
);
937 MODULE_AUTHOR("Timur Tabi <timur@freescale.com>");
938 MODULE_DESCRIPTION("Freescale hypervisor management driver");
939 MODULE_LICENSE("GPL v2");