ecc_page_zero
extern void ecc_page_zero(void *);
softcall(ecc_page_zero, (void *)aflt->flt_addr);
softcall(ecc_page_zero, (void *)aflt->flt_addr);
softcall(ecc_page_zero, (void *)aflt->flt_addr);