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

/barrelfish-master/include/arch/x86/barrelfish/
H A Diocap_arch.h64 iocap_in32(struct capref iocap, uint16_t port, uint32_t *data) function
/barrelfish-master/usr/acpi/arch/x86/
H A Dacpica_osglue_arch.c195 r = iocap_in32(cap_io, Address, Value);
/barrelfish-master/lib/pci/confspace/
H A Dpci_confspace.c52 r = iocap_in32(cap_io, PCI_CONFIG_DATA_PORT, &val);
/barrelfish-master/include/mackerel/
H A Dio.h87 errval_t err = iocap_in32(cap_io, base+offset, &val);
89 USER_PANIC_ERR(err, "calling iocap_in32");

Completed in 55 milliseconds