Searched defs:__vxge_hw_pio_mem_write32_upper (Results 1 - 1 of 1) sorted by relevance

/vbox/src/VBox/Devices/PC/ipxe/src/drivers/net/vxge/
H A Dvxge_config.h707 static inline void __vxge_hw_pio_mem_write32_upper(u32 val, void __iomem *addr) function
725 __vxge_hw_pio_mem_write32_upper((u32)vxge_bVALn(val64, 0, 32), addr);

Completed in 71 milliseconds