Constant sel4_common::registers::n_contextRegisters

pub const n_contextRegisters: usize = 35;