Function handle_realm_exit 

pub fn handle_realm_exit(
    realm_exit_res: [usize; 4],
    rmm: &Monitor,
    rec: &mut Rec<'_>,
    run: &mut Run,
) -> Result<(bool, usize), Error>