ddi_dki_comm.inc revision b89e420ae1290e425c29db875ec0c0546006eec7
/*
*
*
*
*
*/
/*
*/
/*
*/
/*
* 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_mctl(dev_info_t *a, dev_info_t *b, ddi_dma_handle_t c,
uint_t h)
{
}
int
ddi_dma_get_error(ddi_dma_handle_t h, uint_t len, caddr_t errblk)
{
}
int
ddi_dma_sync(ddi_dma_handle_t h, off_t o, size_t l, uint_t whom)
{
}
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));
}