library zx; | |
using status = int32; | |
using time = int64; | |
using duration = int64; | |
using clock = uint32; | |
using koid = uint64; | |
using vaddr = uint64; | |
using paddr = uint64; | |
using paddr32 = uint32; | |
using gpaddr = uint64; | |
using off = uint64; | |
using rights = uint32; | |
using signals = uint32; | |
using vm_option = uint32; |