]> rtime.felk.cvut.cz Git - jailhouse.git/commit
core/driver: Rework obtaining of maximum number of CPUs
authorJan Kiszka <jan.kiszka@siemens.com>
Sat, 20 Sep 2014 11:21:39 +0000 (13:21 +0200)
committerJan Kiszka <jan.kiszka@siemens.com>
Sat, 20 Sep 2014 11:21:39 +0000 (13:21 +0200)
commiteb4e5ad8f7e437819192f1b0557ee48077434e30
treed3870ba25319291c49d0d3b05221a2a9a7a53f85
parentaf621a63efc096706be146d3814d08c994f5f698
core/driver: Rework obtaining of maximum number of CPUs

num_possible_cpus() actually counts the possible CPUs and does not
necessarily return the maximum CPU ID + 1, the value Jailhouse needs.
Fix this by deriving that value from the root cell's CPU set. Rename
the header field correspondingly.

Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>
driver.c
hypervisor/include/jailhouse/header.h
hypervisor/paging.c