Linux Driver Verification » Linux Kernel Safety RuleDB

https://lkml.org/lkml/2012/5/10/545
http://oss.sgi.com/archives/xfs/2008-10/msg01685.html

List of detected functions(for kernel 3.2.23):
static inline int str2eaddr(unsigned char *ea, unsigned char *str)
inline void str2eaddr(unsigned char *ea, unsigned char *str)
inline void flush_dma_descr(struct dma_descr_data *descr, int flush_buf)
inline unsigned long dvma_map_align(unsigned long kaddr, int len, int align)
inline void ip_send_check(struct iphdr *iph)
inline void nvec_msg_free(struct nvec_chip *nvec, struct nvec_msg *msg)
inline phandle prom_getchild(phandle node)
inline phandle prom_getsibling(phandle node)
inline int prom_getproplen(phandle node, const char *prop)
inline int prom_getproperty(phandle node, const char *prop, char *buffer, int bufsize)
inline int prom_getint(phandle node, const char *prop)
inline char *prom_firstprop(phandle node, char *buffer)
inline char *prom_nextprop(phandle node, const char *oprop, char *buffer)
inline unsigned int jiffies_to_msecs(const unsigned long j)
inline unsigned int jiffies_to_usecs(const unsigned long j)
inline void iscsi_tcp_dgst_header(struct hash_desc *hash, const void *hdr, size_t hdrlen, unsigned char digest[ISCSI_DIGEST_SIZE])
inline void iscsi_segment_init_linear(struct iscsi_segment *segment, void *data, size_t size, iscsi_segment_done_fn_t *done, struct hash_desc *hash)
inline int iscsi_segment_seek_sg(struct iscsi_segment *segment, struct scatterlist *sg_list, unsigned int sg_count, unsigned int offset, size_t size, iscsi_segment_done_fn_t *done, struct hash_desc *hash)
inline int iscsi_tcp_recv_segment_is_hdr(struct iscsi_tcp_conn *tcp_conn)
inline u64 ps3_get_spe_id(void *arg)
inline void __const_udelay(unsigned long xloops)
inline void napi_gro_flush(struct napi_struct *napi)
inline dma_addr_t dw_dma_get_src_addr(struct dma_chan *chan)
inline dma_addr_t dw_dma_get_dst_addr(struct dma_chan *chan)
inline void iscsi_conn_queue_work(struct iscsi_conn *conn)
inline void __const_udelay(unsigned long xloops)
inline void init_buffer(struct buffer_head *bh, bh_end_io_t *handler, void *private)
inline void __delay(unsigned int loops)
u8 inline jornada_ssp_reverse(u8 byte)
inline int generic_write_checks(struct file *file, loff_t *pos, size_t *count, int isblk)
inline int bio_phys_segments(struct request_queue *q, struct bio *bio)
inline struct block_device *I_BDEV(struct inode *inode)
inline void __const_udelay(unsigned long xloops)
inline int arch_read_trylock(arch_rwlock_t *rwlock)
inline int p9_is_proto_dotl(struct p9_client *clnt)
inline int p9_is_proto_dotu(struct p9_client *clnt)
inline u16 iwl_legacy_get_active_dwell_time(struct iwl_priv *priv, enum ieee80211_band band, u8 n_probes)