Searched refs:DOMAIN_32BIT (Results 1 – 4 of 4) sorted by relevance
24 DOMAIN_32BIT, enumerator27 #define is_32bit_domain(d) ((d)->arch.type == DOMAIN_32BIT)
46 return switch_mode(d, DOMAIN_32BIT); in subarch_do_domctl()
234 info->type = DOMAIN_32BIT; in kernel_uimage_probe()416 info->type = DOMAIN_32BIT; in kernel_zimage32_probe()
2347 if ( !(cpu_has_el1_32) && kinfo->type == DOMAIN_32BIT ) in construct_domain()
Completed in 11 milliseconds