Home
last modified time | relevance | path

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

/xen/xen/include/asm-arm/
A Ddomain.h25 DOMAIN_64BIT, enumerator
28 #define is_64bit_domain(d) ((d)->arch.type == DOMAIN_64BIT)
/xen/xen/arch/arm/arm64/
A Ddomctl.c48 return switch_mode(d, DOMAIN_64BIT); in subarch_do_domctl()
/xen/xen/arch/arm/
A Dkernel.c128 if ( info->type == DOMAIN_64BIT ) in kernel_zimage_place()
237 info->type = DOMAIN_64BIT; in kernel_uimage_probe()
364 info->type = DOMAIN_64BIT; in kernel_zimage64_probe()

Completed in 6 milliseconds