probeget
int probeget(void *, int);
result = (probeget((char *)tmp + offset, size) != -1);
uint64_t probeget(paddr_t, int, int);
*data++ = probeget((paddr_t)(u_long)src++, ASI_P, 1);
#define KLOAD(x) probeget((paddr_t)(u_long)&(x), ASI_PRIMARY, sizeof(x))