Searched refs:pci_bar_emul_read (Results 1 - 1 of 1) sorted by relevance

/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/drivers/
H A Dpci_helper.c203 static int pci_bar_emul_read(void *cookie, int offset, int size, uint32_t *result) function
254 .cookie = bar_emul, .ioread = pci_bar_emul_read, .iowrite = pci_bar_emul_write

Completed in 23 milliseconds