Searched refs:vpidr (Results 1 – 3 of 3) sorted by relevance
298 val |= ((d->arch.vpidr >> 20) & 0xf) | (d->arch.vpidr & 0xf); in do_cp14_32()
183 WRITE_SYSREG32(n->domain->arch.vpidr, VPIDR_EL2); in ctxt_switch_to()600 d->arch.vpidr = boot_cpu_data.midr.bits; in arch_domain_create()
67 uint32_t vpidr; member
Completed in 6 milliseconds