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

/barrelfish-master/include/vm/
H A Dvm_param.h124 #define num_pages(x) \ macro
/barrelfish-master/usr/drivers/usb/usb_manager/controller/ehci/
H A Dusb_ehci_xfer.c68 param->num_pages = 5;
81 param->num_pages = 5;
96 param->num_pages = 7;
103 param->num_pages = 2;
121 param->num_pages = 7;
125 param->num_pages = 2;
130 param->num_pages = 2;
360 uint16_t num_pages; ///< the number of dma pages that are needed member in struct:usb_ehci_qtd_setup_param
/barrelfish-master/usr/drivers/usb/usb_manager/include/
H A Dusb_xfer.h272 uint8_t num_pages; member in struct:usb_xfer_setup_params
/barrelfish-master/include/barrelfish/
H A Dcapabilities.h143 size_t entry, size_t num_pages, uint64_t attr)
145 return invoke_vnode_modify_flags(pgtl, entry, num_pages, attr);
142 vnode_modify_flags(struct capref pgtl, size_t entry, size_t num_pages, uint64_t attr) argument
H A Dinvocations.h206 size_t entry, size_t num_pages,
209 return cap_invoke4(cap, VNodeCmd_ModifyFlags, entry, num_pages, attr).error;
205 invoke_vnode_modify_flags(struct capref cap, size_t entry, size_t num_pages, size_t attr) argument
/barrelfish-master/kernel/arch/x86_32/
H A Dpage_mappings_arch.c303 size_t do_unmap(lvaddr_t pt, cslot_t slot, size_t num_pages) argument
307 for (int i = 0; i < num_pages; i++) {
/barrelfish-master/kernel/include/
H A Dcapabilities.h138 size_t do_unmap(lvaddr_t pt, cslot_t slot, size_t num_pages);
/barrelfish-master/kernel/arch/armv7/
H A Dpaging.c605 size_t do_unmap(lvaddr_t pt, cslot_t slot, size_t num_pages) argument
609 for (int i = 0; i < num_pages; i++) {
/barrelfish-master/kernel/arch/x86_64/
H A Dpage_mappings_arch.c765 size_t do_unmap(lvaddr_t pt, cslot_t slot, size_t num_pages) argument
770 for (int i = 0; i < num_pages; i++) {
/barrelfish-master/kernel/arch/armv8/
H A Dpaging.c679 size_t do_unmap(lvaddr_t pt, cslot_t slot, size_t num_pages) argument
683 for (int i = 0; i < num_pages; i++) {
/barrelfish-master/usr/drivers/usb/usb_manager/
H A Dusb_xfer.c656 param->num_pages * USB_PAGE_SIZE, USB_PAGE_SIZE);

Completed in 211 milliseconds