281          * Note: we keep CI large pages off by default because a 64K capable  in spapr_dt_pa_features()
1747      * This is fixing some of the default configuration of the XIVE  in spapr_machine_reset()
1856     default:  in spapr_vga_init()
1993      * via default pseries-2.8 machines and explicit command-line parameters.  in spapr_ov5_cas_needed()
2647          * Default VSMT value is tricky, because we need it to be as  in spapr_set_vsmt_mode()
2666             /* We can live with that if the default one is big enough  in spapr_set_vsmt_mode()
2947         /* H_CLEAR_MOD/_REF are mandatory in PAPR, but off by default */  in spapr_machine_init()
3297         return g_strdup("default");  in spapr_get_resize_hpt()
3312     if (strcmp(value, "default") == 0) {  in spapr_set_resize_hpt()
3424      * 'nvdimm' machine option and the default behavior is NVDIMM  in spapr_instance_init()
3470                                     " for -kernel is the default");  in spapr_instance_init()
3477     /* The machine class defines the default interrupt controller mode */  in spapr_instance_init()
4613      * We set up the default / latest behaviour here.  The class_init  in spapr_machine_class_init()
4693      * H_SET_RESOURCE is supported. The default is modified  in spapr_machine_class_init()