ddi_dki_comm.inc revision cd21e7c548ae2a3b5e522244bf798f2a6b4ba02d
/*
*
*
*
*
*/
/*
*/
/*
*/
/*
* ddi_dki_comm.inc - Part of a pseudo-kernel to use when analyzing drivers
* with warlock.
*
* The main idea here is to represent all of the ways that the kernel can
* call into the driver, so that warlock has the correct view of the call
* graph.
*
* the current implementation. It is included by both ddi_dki_{spec,impl}.c
*
* This is a SPARC version; some functions (e.g. ddi_dma_nextwin) should
* be changed for an x86 version.
*/
_NOTE(DATA_READABLE_WITHOUT_LOCK( dev_ops cb_ops bus_ops ))
/*
* Now define a dev_ops, a cb_ops, and a bus_ops with 0 for each
* 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22
*/
struct dev_ops *devops_p, warlock_dev_ops = {
0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
};
struct cb_ops *cbops_p, warlock_cb_ops = {
0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
};
struct bus_ops *busops_p, warlock_bus_ops = {
0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
};
/* This rendition of mod_remove() tells warlock that it calls detach. */
int
mod_remove(struct modlinkage *a) {
}
/* This rendition of physio() shows that it calls its func ptr args. */
int
physio(
dev_t b,
int c,
{
(*strategy)(0);
(*mincnt)(0);
}
/*
*/
timeout_id_t
timeout(void (*fp)(void *), void *a, clock_t b)
{
}
int
ddi_add_intr(dev_info_t *a, uint_t b, ddi_iblock_cookie_t *c,
{
}
int
ddi_add_softintr(dev_info_t *a, int b, ddi_softintr_t *c,
caddr_t f)
{
}
int
ddi_intr_add_handler(ddi_intr_handle_t h, ddi_intr_handler_t inthandler,
{
}
int
ddi_intr_add_softint(dev_info_t *dip, ddi_softint_handle_t *h_p, int soft_pri,
{
}
int
ddi_dma_addr_setup(
dev_info_t *a,
caddr_t c,
size_t d,
uint_t e,
caddr_t f,
ddi_dma_lim_t *g,
ddi_dma_handle_t *h)
{
}
int
ddi_dma_buf_setup(
dev_info_t *a,
uint_t c,
caddr_t d,
ddi_dma_lim_t *e,
ddi_dma_handle_t *f)
{
}
void
ddi_set_callback(
caddr_t a,
uintptr_t *b)
{
}
int
ddi_dma_map(
dev_info_t *a,
dev_info_t *b,
struct ddi_dma_req *c,
ddi_dma_handle_t *d)
{
}
int
ddi_dma_setup(
dev_info_t *a,
struct ddi_dma_req *b,
ddi_dma_handle_t *c)
{
}
int
ddi_dma_mctl(dev_info_t *a, dev_info_t *b, ddi_dma_handle_t c,
uint_t h)
{
}
int
ddi_dma_kvaddrp(ddi_dma_handle_t h, off_t off, size_t len, caddr_t *kp)
{
}
int
ddi_dma_htoc(ddi_dma_handle_t h, off_t o, ddi_dma_cookie_t *c)
{
}
int
ddi_dma_coff(ddi_dma_handle_t h, ddi_dma_cookie_t *c, off_t *o)
{
}
int
ddi_dma_get_error(ddi_dma_handle_t h, uint_t len, caddr_t errblk)
{
}
int
ddi_dma_segtocookie(ddi_dma_seg_t seg, off_t *o, off_t *l,
{
}
int
ddi_dma_sync(ddi_dma_handle_t h, off_t o, size_t l, uint_t whom)
{
}
int
ddi_dma_free(ddi_dma_handle_t h)
{
}
int
ddi_iopb_alloc(dev_info_t *dip, ddi_dma_lim_t *limp, uint_t len, caddr_t *iopbp)
{
}
void
ddi_iopb_free(caddr_t iopb)
{
}
int
ddi_mem_alloc(dev_info_t *dip, ddi_dma_lim_t *limits, uint_t length,
{
}
void
ddi_mem_free(caddr_t kaddr)
{
}
int
ddi_prop_op(dev_t dev, dev_info_t *dip, ddi_prop_op_t prop_op, int mod_flags,
{
}
int
ddi_add_event_handler(dev_info_t *dip, ddi_eventcookie_t event,
{
}
int
ddi_remove_event_handler(ddi_callback_id_t id)
{
}
int
ddi_get_eventcookie(dev_info_t *dip, char *name,
{
name, event_cookiep));
}