Home
last modified time | relevance | path

Searched refs:DOMAIN_64BIT (Results 1 – 3 of 3) sorted by relevance

/xen-4.10.0-shim-comet/xen/arch/arm/arm64/
A Ddomctl.c48 return switch_mode(d, DOMAIN_64BIT); in subarch_do_domctl()
/xen-4.10.0-shim-comet/xen/include/asm-arm/
A Ddomain.h24 DOMAIN_64BIT, enumerator
27 #define is_64bit_domain(d) ((d)->arch.type == DOMAIN_64BIT)
/xen-4.10.0-shim-comet/xen/arch/arm/
A Dkernel.c128 if ( info->type == DOMAIN_64BIT ) in kernel_zimage_place()
248 info->type = DOMAIN_64BIT; in kernel_uimage_probe()
375 info->type = DOMAIN_64BIT; in kernel_zimage64_probe()
483 info->type = DOMAIN_64BIT; in kernel_elf_probe()

Completed in 5 milliseconds