Function aarch64_arch_helpers::sysreg::write_tpidr_el3

pub fn write_tpidr_el3(v: u64)

Write value to register tpidr_el3

    EL3 Software Thread ID Register