hwblkclr
hwblkclr(pp_addr2 + off, len);
extern void hwblkclr(void *, size_t);
extern int hwblkclr(void *, size_t);
if (hwblkclr(va + off, len)) {
extern int hwblkclr(void *, size_t);
} else if (hwblkclr(va + off, len)) {