pub fn read_ns() -> u32
Reads the Non-Secure CPU register from Secure state.
Executing this function in Non-Secure state will return zeroes.