PSR_GUEST64_INIT (reference) in projects: xen

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

/xen/xen/include/public/
A D	arch-arm.h	`383 #define PSR_GUEST64_INIT (PSR_ABT_MASK\|PSR_FIQ_MASK\|PSR_IRQ_MASK\|PSR_MODE_EL1h) macro`
/xen/xen/arch/arm/
A D	vpsci.c	`77 ctxt->user_regs.cpsr = PSR_GUEST64_INIT; in do_common_cpu_on()`
A D	domain_build.c	`2392 regs->cpsr = PSR_GUEST64_INIT; in construct_domain()`
/xen/tools/libxc/
A D	xc_dom_arm.c	`182 ctxt->user_regs.cpsr = PSR_GUEST64_INIT; in vcpu_arm64()`

Completed in 9 milliseconds