Searched refs:page_select (Results 1 - 2 of 2) sorted by relevance
| /barrelfish-2018-10-04/usr/drivers/rtl8029/ |
| H A D | rtl8029.c | 25 static void page_select(uint8_t page);
27 #define PAGE_READ(_d,_a,_s,_p) (page_select(_p), mackerel_read_io_##_s(_d->base,_a))
28 #define PAGE_WRITE(_d,_a,_s,_p,_v) (page_select(_p), mackerel_write_io_##_s(_d->base,_a,_v))
75 static void page_select(uint8_t page) function
444 page_select(rtl8029as_ne2000p0);
|
| /barrelfish-2018-10-04/usr/drivers/usb/usb_manager/controller/ehci/ |
| H A D | usb_ehci.h | 145 uint32_t page_select :3; ///< page buffer to use (0..6) member in struct:usb_ehci_itd_status
248 uint32_t page_select :1; ///< which data page pointer to use member in struct:usb_ehci_sitd_state
|
Completed in 35 milliseconds