Symbol: PMBPTR_EL1_REG
sys/arm64/spe/arm_spe_backend.c
400
WRITE_SPECIALREG(PMBPTR_EL1_REG, base);
sys/arm64/spe/arm_spe_backend.c
402
WRITE_SPECIALREG(PMBPTR_EL1_REG, buf->pmbptr);
sys/arm64/spe/arm_spe_backend.c
485
buf->pmbptr = READ_SPECIALREG(PMBPTR_EL1_REG);
sys/arm64/spe/arm_spe_dev.c
198
READ_SPECIALREG(PMBPTR_EL1_REG),
sys/arm64/spe/arm_spe_dev.c
211
buf->pmbptr = READ_SPECIALREG(PMBPTR_EL1_REG);
sys/arm64/spe/arm_spe_dev.c
220
WRITE_SPECIALREG(PMBPTR_EL1_REG, base);