Home
last modified time | relevance | path

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

/xen-4.10.0-shim-comet/xen/arch/arm/arm64/
A Ddomctl.c46 return switch_mode(d, DOMAIN_32BIT); in subarch_do_domctl()
/xen-4.10.0-shim-comet/xen/include/asm-arm/
A Ddomain.h23 DOMAIN_32BIT, enumerator
26 #define is_32bit_domain(d) ((d)->arch.type == DOMAIN_32BIT)
/xen-4.10.0-shim-comet/xen/arch/arm/
A Dkernel.c245 info->type = DOMAIN_32BIT; in kernel_uimage_probe()
427 info->type = DOMAIN_32BIT; in kernel_zimage32_probe()
481 info->type = DOMAIN_32BIT; in kernel_elf_probe()
A Ddomain_build.c2143 if ( !(cpu_has_el1_32) && kinfo.type == DOMAIN_32BIT ) in construct_dom0()

Completed in 9 milliseconds