Searched refs:system_ctl_set_bit (Results 1 – 4 of 4) sorted by relevance
37 system_ctl_set_bit(6, 31 - isc); in isc_register()
179 static inline void system_ctl_set_bit(unsigned int cr, unsigned int bit) in system_ctl_set_bit() function
112 system_ctl_set_bit(0, CR0_INSTRUCTION_EXEC_PROTECTION_BIT); in mark_rodata_ro()
943 system_ctl_set_bit(0, 14); in smp_prepare_cpus()946 system_ctl_set_bit(0, 13); in smp_prepare_cpus()