physical address must be u64