[PATCH gnumach] kern/processor: Do not set default_pset.empty on bootstrap

[Damien Zammit]

This is not needed because cpu_up does this when it comes online,
it calls pset_add_processor().
---
 kern/processor.c | 2 --
 1 file changed, 2 deletions(-)

diff --git a/kern/processor.c b/kern/processor.c
index 33733a59..0e42fa37 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.
-- 
2.43.0