diff options
| author | Anup Patel <[email protected]> | 2013-04-30 12:02:15 +0530 |
|---|---|---|
| committer | Christoffer Dall <[email protected]> | 2013-06-26 10:50:02 -0700 |
| commit | 5ae7f87a56fab10b8f9b135a8377c144397293ca (patch) | |
| tree | 9bb5b7bcc23d5f3d31783caccc499413678dcdf9 /fs/jbd/commit.c | |
| parent | 87d41fb4da6467622b7a87fd6afe8071abab6dae (diff) | |
ARM: KVM: Allow host virt timer irq to be different from guest timer virt irq
The arch_timer irq numbers (or PPI numbers) are implementation dependent,
so the host virtual timer irq number can be different from guest virtual
timer irq number.
This patch ensures that host virtual timer irq number is read from DTB and
guest virtual timer irq is determined based on vcpu target type.
Signed-off-by: Anup Patel <[email protected]>
Signed-off-by: Pranavkumar Sawargaonkar <[email protected]>
Signed-off-by: Christoffer Dall <[email protected]>
Diffstat (limited to 'fs/jbd/commit.c')
0 files changed, 0 insertions, 0 deletions