{"ast_node_type":"other","tokens":[{"end":32,"kind":"keyword","start":0,"text":"//"}]}
    // Ensure thumb mode is set.
pub unsafe fn bootstrap(msp: *const u32, rv: *const u32) -> ! {
    let rv = (rv as u32) | 1;