Searched refs:cons_ops_index (Results 1 – 3 of 3) sorted by relevance
102 return cons_ops_index == SERIAL_CONS_OPS; in console_is_serial()108 int old_cons_ops = cons_ops_index; in switch_to_video_console()109 cons_ops_index = VC_CONS_OPS; in switch_to_video_console()117 int old_cons_ops = cons_ops_index; in switch_to_serial_console()120 cons_ops_index = SERIAL_CONS_OPS; in switch_to_serial_console()139 cons_ops_index = ops; in switch_to_old_console()
134 uint32_t cons_ops_index = VC_CONS_OPS; variable136 SECURITY_READ_ONLY_LATE(uint32_t) cons_ops_index = VC_CONS_OPS;225 uint32_t idx = cons_ops_index; in get_cons_ops_index()
56 extern uint32_t cons_ops_index;