diff options
| author | Rusty Russell <rusty@rustcorp.com.au> | 2012-03-02 11:56:38 +0000 |
|---|---|---|
| committer | Peter Maydell <peter.maydell@linaro.org> | 2012-03-02 11:56:38 +0000 |
| commit | 41c1e2f54e6fc76dbc7047f1a95693f4d37b4623 (patch) | |
| tree | c0f517ad34b9c4e7fcde6f8e184a4bfa03106afa /xen-mapcache.h | |
| parent | 6925380062263df34dcf7ba8e139e426a077f04f (diff) | |
arm: make sure that number of irqs can be represented in GICD_TYPER.
We currently assume that the number of interrupts (ITLinesNumber in
the architecture reference manual) is divisible by 32, since we
present it to the guest when it reads GICD_TYPER (in gic_dist_readb())
as (N / 32) - 1.
Signed-off-by: Rusty Russell <rusty@rustcorp.com.au>
Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
Diffstat (limited to 'xen-mapcache.h')
0 files changed, 0 insertions, 0 deletions