Searched refs:is_64bit_domain (Results 1 – 6 of 6) sorted by relevance
28 if ( is_64bit_domain(d) ) in switch_mode()
27 #define is_64bit_domain(d) ((d)->arch.type == DOMAIN_64BIT) macro30 #define is_64bit_domain(d) (0) macro
201 if ( is_64bit_domain(d) ) in get_ipa_output_size()328 else if ( is_64bit_domain(d) ) in get_top_bit()418 if ( is_64bit_domain(d) ) in guest_walk_ld()
41 if ( is_64bit_domain(d) && is_thumb ) in do_common_cpu_on()
766 if ( is_64bit_domain(d) ) in make_cpus_node()2150 if ( is_64bit_domain(d) ) in construct_dom0()2243 if ( is_64bit_domain(d) ) in construct_dom0()
941 else if ( is_64bit_domain(v->domain) ) in _show_registers()
Completed in 13 milliseconds