diff options
| author | Damien Zammit <damien@zamaudio.com> | 2024-02-23 08:04:13 +0000 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2024-02-23 13:59:51 +0100 |
| commit | ef98db8f048cf7c70aaa0a16c76ac66954aad12e (patch) | |
| tree | 8c1149bc299beaf879b7995440366889708e5d01 | |
| parent | 2981d798351958d2c153bd3cb3c00cc2ebc9f27c (diff) | |
kern/processor: Do not set default_pset.empty on bootstrap
This is not needed because cpu_up does this when it comes online,
it calls pset_add_processor().
Message-ID: <20240223080357.457465-1-damien@zamaudio.com>
| -rw-r--r-- | kern/processor.c | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/kern/processor.c b/kern/processor.c index 71bbb757..44315b87 100644 --- a/kern/processor.c +++ b/kern/processor.c @@ -76,7 +76,6 @@ void pset_sys_bootstrap(void) int i; pset_init(&default_pset); - default_pset.empty = FALSE; for (i = 0; i < NCPUS; i++) { /* * Initialize processor data structures. @@ -90,7 +89,6 @@ void pset_sys_bootstrap(void) queue_enter(&all_psets, &default_pset, processor_set_t, all_psets); all_psets_count = 1; default_pset.active = TRUE; - default_pset.empty = FALSE; /* * Note: the default_pset has a max_priority of BASEPRI_USER. |