41     pub extension: bool,  field
80         let extension = (b0 >> EXTENSION_SHIFT & EXTENSION_MASK) > 0;  in unmarshal()  localVariable
101         let (extension_profile, extensions) = if extension {  in unmarshal()
188             extension,  in unmarshal()
205         if self.extension {  in marshal_size()
242         if self.extension {  in marshal_to()
262         if self.extension {  in marshal_to()
280                     for extension in &self.extensions {  in marshal_to()
281                         buf.put_u8((extension.id << 4) | (extension.payload.len() as u8 - 1));  in marshal_to()
282                         buf.put(&*extension.payload);  in marshal_to()
287                     for extension in &self.extensions {  in marshal_to()
288                         buf.put_u8(extension.id);  in marshal_to()
289                         buf.put_u8(extension.payload.len() as u8);  in marshal_to()
290                         buf.put(&*extension.payload);  in marshal_to()
299                     if let Some(extension) = self.extensions.first() {  in marshal_to()
300                         let ext_len = extension.payload.len();  in marshal_to()
304                         buf.put(&*extension.payload);  in marshal_to()
325             .map(|extension| extension.payload.len())  in get_extension_payload_len()
340         if self.extension {  in set_extension()
366             if let Some(extension) = self  in set_extension()
369                 .find(|extension| extension.id == id)  in set_extension()
371                 extension.payload = payload;  in set_extension()
377             self.extension = true;  in set_extension()
392         if self.extension {  in get_extension_ids()
401         if self.extension {  in get_extension()
404                 .find(|extension| extension.id == id)  in get_extension()
405                 .map(|extension| extension.payload.clone())  in get_extension()
413         if self.extension {  in del_extension()
417                 .position(|extension| extension.id == id)  in del_extension()