Searched defs:addr64 (Results 1 – 2 of 2) sorted by relevance
62 fsi_putcfam(int fd, uint64_t addr64, uint32_t val_host) in fsi_putcfam()
228 static void pic_ioport_write(void *opaque, hwaddr addr64, in pic_ioport_write()