Home
last modified time | relevance | path

Searched refs:DOMAIN_32BIT (Results 1 – 4 of 4) sorted by relevance

/xen/xen/include/asm-arm/
A Ddomain.h24 DOMAIN_32BIT, enumerator
27 #define is_32bit_domain(d) ((d)->arch.type == DOMAIN_32BIT)
/xen/xen/arch/arm/arm64/
A Ddomctl.c46 return switch_mode(d, DOMAIN_32BIT); in subarch_do_domctl()
/xen/xen/arch/arm/
A Dkernel.c234 info->type = DOMAIN_32BIT; in kernel_uimage_probe()
416 info->type = DOMAIN_32BIT; in kernel_zimage32_probe()
A Ddomain_build.c2347 if ( !(cpu_has_el1_32) && kinfo->type == DOMAIN_32BIT ) in construct_domain()

Completed in 11 milliseconds