get_tlb_bytes
u64 bytes = get_tlb_bytes(tlbe);
size = get_tlb_bytes(gtlbe);
pgmask = get_tlb_bytes(gtlbe) - 1;