fn read_cr_regs() -> (u64, u64, u64, u64)
Read CR0, CR2, CR3, CR4 into the provided mutable references.