The mpidr register is 64 bit on arm64 and 32 bit on arm. Fix this by
extending the arm64 definition to include the top 32 bits.
To preserve KBI when MFCing split the value into two 32 bit values.
This will be cleaned up later only on main.
Details
Details
- Reviewers
manu bz - Group Reviewers
ARM arm64 - Commits
- rGb3e05bc282b6: Store mpidr as a 64-bit value on arm64
rG544f047f8940: Store mpidr as a 64-bit value on arm64
Diff Detail
Diff Detail
- Repository
- rG FreeBSD src repository
- Lint
Lint Not Applicable - Unit
Tests Not Applicable
Event Timeline
| sys/arm64/include/pcpu.h | ||
|---|---|---|
| 52 | In theory I'd prefer uint32_t over u_int but this seems to be common style here. | |
| sys/arm64/include/pcpu.h | ||
|---|---|---|
| 52 | It's in MD code so I'm happy to rely on it being a known width as it's only so I can MFC the change to 13. I intend to merge the two values in a follow up commit. | |