Home
last modified time | relevance | path

Searched refs:is_64bit_domain (Results 1 – 5 of 5) sorted by relevance

/xen/xen/include/asm-arm/
A Ddomain.h28 #define is_64bit_domain(d) ((d)->arch.type == DOMAIN_64BIT) macro
31 #define is_64bit_domain(d) (0) macro
/xen/xen/arch/arm/arm64/
A Ddomctl.c28 if ( is_64bit_domain(d) ) in switch_mode()
/xen/xen/arch/arm/
A Dguest_walk.c201 if ( is_64bit_domain(d) ) in get_ipa_output_size()
418 if ( is_64bit_domain(d) ) in guest_walk_ld()
A Dvpsci.c40 if ( is_64bit_domain(d) && is_thumb ) in do_common_cpu_on()
A Ddomain_build.c933 if ( is_64bit_domain(d) ) in make_cpus_node()
1048 if ( !is_64bit_domain(kinfo->d) ) in make_timer_node()
2353 if ( is_64bit_domain(d) ) in construct_domain()
2409 if ( is_64bit_domain(d) ) in construct_domain()

Completed in 10 milliseconds