Searched refs:csselr (Results 1 – 1 of 1) sorted by relevance
87 uint32_t csselr = (uint32_t)level | (uint32_t)type; in machine_write_csselr() local88 __builtin_arm_mcr(15, 2, csselr, 0, 0, 0); in machine_write_csselr()90 uint64_t csselr = (uint64_t)level | (uint64_t)type; in machine_write_csselr()91 __asm__ volatile ("msr CSSELR_EL1, %0" : : "r" (csselr)); in machine_write_csselr()