|
|
 |
|
|
|
|
|
|
|
xen-devel
[Xen-devel] do_update_va_mapping_otherdomain() using IS_PRIV()
Hello,
In do_update_va_mapping_otherdomain(), IS_PRIV() is checked just
before set_foreigndom(). Isn't this redundant with the checks that
set_foreigndom() already does?
Samuel
_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-devel
|
<Prev in Thread] |
Current Thread |
[Next in Thread> |
- [Xen-devel] do_update_va_mapping_otherdomain() using IS_PRIV(),
Samuel Thibault <=
|
|
|
|
|