Constant sel4_common::registers::fault_messages

pub const fault_messages: [[usize; 10]; 2];