[][src]Type Definition capsule_ffi::phys_addr_t

type phys_addr_t = u64;