write32
write32(uint32 encodedRegister, uint32 value)
#define write32(address, data) \
#define write32(address, data) \
write32(intel_info &info, uint32 encodedRegister, uint32 value)
#define write32(address, data) (*((volatile uint32*)(address)) = (data))
# define write32(address,value) (*gPci->write_io_32)((address),(value))
# define write32(address,data) (*((volatile uint32 *)(address)) = (data))
#define write32(address, data) \
#define write32(buffer, off, value) \