Searched refs:get_default_hcr_flags (Results 1 – 3 of 3) sorted by relevance
809 register_t get_default_hcr_flags(void);
545 v->arch.hcr_el2 = get_default_hcr_flags(); in vcpu_initialise()
124 register_t get_default_hcr_flags(void) in get_default_hcr_flags() function186 WRITE_SYSREG(get_default_hcr_flags(), HCR_EL2); in init_traps()
Completed in 11 milliseconds