Searched refs:opt_xpti_hwdom (Results 1 – 5 of 5) sorted by relevance
90 if ( opt_xpti_hwdom < 0 ) in parse_spec_ctrl()91 opt_xpti_hwdom = 0; in parse_spec_ctrl()197 int8_t __read_mostly opt_xpti_hwdom = -1; variable207 if ( opt_xpti_hwdom < 0 ) in xpti_init_default()208 opt_xpti_hwdom = 0; in xpti_init_default()214 if ( opt_xpti_hwdom < 0 ) in xpti_init_default()215 opt_xpti_hwdom = 1; in xpti_init_default()228 opt_xpti_hwdom = opt_xpti_domu = 1; in parse_xpti()238 opt_xpti_hwdom = opt_xpti_domu = 0; in parse_xpti()242 opt_xpti_hwdom = opt_xpti_domu = 1; in parse_xpti()[all …]
217 if ( opt_xpti_hwdom || opt_xpti_domu ) in flush_area_local()
794 if ( !opt_xpti_hwdom && !opt_xpti_domu ) in setup_cpu_root_pgt()
46 extern int8_t opt_xpti_hwdom, opt_xpti_domu;
374 d->arch.pv.xpti = is_hardware_domain(d) ? opt_xpti_hwdom : opt_xpti_domu; in pv_domain_initialise()
Completed in 8 milliseconds