Searched refs:PAR_EL1 (Results 1 – 4 of 4) sorted by relevance
57 ctxt_sys_reg(ctxt, PAR_EL1) = read_sysreg_par(); in __sysreg_save_el1_state()128 write_sysreg(ctxt_sys_reg(ctxt, PAR_EL1), par_el1); in __sysreg_restore_el1_state()
172 PAR_EL1, /* Physical Address Register */ enumerator517 case PAR_EL1: *val = read_sysreg_par(); break; in __vcpu_read_sys_reg_from_cpu()562 case PAR_EL1: write_sysreg_s(val, SYS_PAR_EL1); break; in __vcpu_write_sys_reg_to_cpu()
657 of a store-exclusive or read of PAR_EL1 and a load with device or664 Work around the issue by inserting DMB SY barriers around PAR_EL1666 to prevent a speculative PAR_EL1 read.
1581 { SYS_DESC(SYS_PAR_EL1), NULL, reset_unknown, PAR_EL1 },
Completed in 17 milliseconds