Searched refs:Buffer64 (Results 1 – 1 of 1) sorted by relevance
55 u64 Buffer64; /* 32-bit process has to pass 64-bit wide pointer on 64-bit systems */ member105 u64 Buffer64; /* 32-bit process has to pass 64-bit wide pointer on 64-bit systems */ member749 sysdbg_cmd.ext64.Buffer64 = (u64)(ULONG)Buffer; /* extend 32-bit pointer to 64-bit */ in win32_kldbg_pci_bus_data()772 kldbg_cmd.ext64.Buffer64 = (u64)(ULONG)&sysdbg_cmd; /* extend 32-bit pointer to 64-bit */ in win32_kldbg_pci_bus_data()