Constant KUSER_SHARED_DATA_ADDRESS_X86_64 

const KUSER_SHARED_DATA_ADDRESS_X86_64: u64 = 0xFFFFF78000000000;