def __init__(self, asid_size, vma_size, pte_size, L1_size):
""" Arguments
* asid_size: Address Space IDentifier (ASID) typically 15 bits
def __init__(self, asid_size, vma_size, pte_size, L1_size):
""" Arguments
* asid_size: Address Space IDentifier (ASID) typically 15 bits