diff options
author | Leif Lindholm <leif.lindholm@linaro.org> | 2019-09-19 13:05:00 +0100 |
---|---|---|
committer | Leif Lindholm <leif.lindholm@linaro.org> | 2019-10-04 11:18:32 +0100 |
commit | 4040754dafa0ee2e7d072971d93aaaad16a2b5a6 (patch) | |
tree | 4cbc472a38f60263ad8eff05f016eb113d7fff1b /OvmfPkg/Include/IndustryStandard/Xen/xen.h | |
parent | ba39402f34aac0085fbbaa94bb7c365a2a078220 (diff) | |
download | edk2-4040754dafa0ee2e7d072971d93aaaad16a2b5a6.tar.gz edk2-4040754dafa0ee2e7d072971d93aaaad16a2b5a6.tar.bz2 edk2-4040754dafa0ee2e7d072971d93aaaad16a2b5a6.zip |
OvmfPkg: strip trailing whitespace
Cc: Jordan Justen <jordan.l.justen@intel.com>
Cc: Laszlo Ersek <lersek@redhat.com>
Cc: Ard Biesheuvel <ard.biesheuvel@linaro.org>
Cc: Anthony Perard <anthony.perard@citrix.com>
Cc: Julien Grall <julien.grall@arm.com>
Cc: David Woodhouse <dwmw2@infradead.org>
Signed-off-by: Leif Lindholm <leif.lindholm@linaro.org>
Acked-by: Ard Biesheuvel <ard.biesheuvel@linaro.org>
Reviewed-by: Laszlo Ersek <lersek@redhat.com>
Reviewed-by: Philippe Mathieu-Daude <philmd@redhat.com>
Diffstat (limited to 'OvmfPkg/Include/IndustryStandard/Xen/xen.h')
-rw-r--r-- | OvmfPkg/Include/IndustryStandard/Xen/xen.h | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/OvmfPkg/Include/IndustryStandard/Xen/xen.h b/OvmfPkg/Include/IndustryStandard/Xen/xen.h index eccc1ad625..e55d932632 100644 --- a/OvmfPkg/Include/IndustryStandard/Xen/xen.h +++ b/OvmfPkg/Include/IndustryStandard/Xen/xen.h @@ -1,8 +1,8 @@ /******************************************************************************
* xen.h
- *
+ *
* Guest OS interface to Xen.
- *
+ *
* SPDX-License-Identifier: MIT
*
* Copyright (c) 2004, K A Fraser
@@ -203,7 +203,7 @@ typedef struct vcpu_time_info vcpu_time_info_t; struct vcpu_info {
/*
* 'evtchn_upcall_pending' is written non-zero by Xen to indicate
- * a pending notification for a particular VCPU. It is then cleared
+ * a pending notification for a particular VCPU. It is then cleared
* by the guest OS /before/ checking for pending work, thus avoiding
* a set-and-check race. Note that the mask is only accessed by Xen
* on the CPU that is currently hosting the VCPU. This means that the
@@ -266,7 +266,7 @@ struct shared_info { * 3. Virtual interrupts ('events'). A domain can bind an event-channel
* port to a virtual interrupt source, such as the virtual-timer
* device or the emergency console.
- *
+ *
* Event channels are addressed by a "port index". Each channel is
* associated with two bits of information:
* 1. PENDING -- notifies the domain that there is a pending notification
@@ -277,7 +277,7 @@ struct shared_info { * becomes pending while the channel is masked then the 'edge' is lost
* (i.e., when the channel is unmasked, the guest must manually handle
* pending notifications as no upcall will be scheduled by Xen).
- *
+ *
* To expedite scanning of pending notifications, any 0->1 pending
* transition on an unmasked channel causes a corresponding bit in a
* per-vcpu selector word to be set. Each bit in the selector covers a
|