// Attribute 0 (0xFF) - normal memory, caches are enabled
// Attribute 1 (0x44) - normal memory, caches are disabled. Atomics wouldn't work here if memory doesn't support exclusive access (most real hardware don't)
// Attribute 2 (0x00) - nGnRnE device memory, caches are disabled, gathering, re-ordering, and early write acknowledgement aren't allowed.
asm!(
asm!(
"msr mair_el1, {0}",
"msr mair_el1, {0}",
in(reg)0xff4400,// MAIR: Arrange for Device, Normal Non-Cache, Normal Write-Back access types
in(reg)0x00000000000044FFasu64,// MAIR: Arrange for Device, Normal Non-Cache, Normal Write-Back access types