tlb_ioreserve
if (!tlb_ioreserve(va, len, pte)) {
tlb_ioreserve(vaddr_t va, vsize_t len, uint32_t pte)
int tlb_ioreserve(vaddr_t, vsize_t, pt_entry_t);