OperatingSystemLinux.
read_kernel_pointer
Read a kernel pointer from the given address.
addr (int) – The address of the pointer
The value of the pointer.
bytes