faultvaddr

Declaration

__uint64_t faultvaddr;