<commit_before>#
# Copyright 2014, NICTA
#
# This software may be distributed and modified according to the terms of
# the BSD 2-Clause license. Note that NO WARRANTY is provided.
# See "LICENSE_BSD2.txt" for details.
#
# @TAG(NICTA_BSD)
#

from Cap import Cap
from ELF import ELF
from Object import Frame, PageTable, PageDirectory, ASIDPool, CNode, Endpoint, \
                   AsyncEndpoint, TCB, Untyped, IOPorts, IODevice, IOPageTable, \
                   IRQ
from Spec import Spec
from Allocator import seL4_UntypedObject, seL4_TCBObject, seL4_EndpointObject, \
    seL4_AsyncEndpointObject, seL4_CapTableObject, seL4_ARM_SmallPageObject, \
    seL4_ARM_PageTableObject, seL4_ARM_PageDirectoryObject, seL4_IA32_4K, \
    seL4_IA32_PageTableObject, seL4_IA32_PageDirectoryObject, \
    seL4_IA32_IOPageTableObject, seL4_CanRead, seL4_CanWrite, seL4_CanGrant, \
    seL4_AllRights, ObjectAllocator, CSpaceAllocator, seL4_FrameObject, \
    seL4_PageDirectoryObject
from PageCollection import PageCollection, create_address_space
from util import page_table_vaddr, page_table_index, page_index, page_vaddr, \
                 page_table_coverage<commit_msg>exposing seL4_ARM_SectionObject and seL4_IA32_4M needed by camkes-tool<commit_after>#
# Copyright 2014, NICTA
#
# This software may be distributed and modified according to the terms of
# the BSD 2-Clause license. Note that NO WARRANTY is provided.
# See "LICENSE_BSD2.txt" for details.
#
# @TAG(NICTA_BSD)
#

from Cap import Cap
from ELF import ELF
from Object import Frame, PageTable, PageDirectory, ASIDPool, CNode, Endpoint, \
                   AsyncEndpoint, TCB, Untyped, IOPorts, IODevice, IOPageTable, \
                   IRQ
from Spec import Spec
from Allocator import seL4_UntypedObject, seL4_TCBObject, seL4_EndpointObject, \
    seL4_AsyncEndpointObject, seL4_CapTableObject, seL4_ARM_SmallPageObject, \
    seL4_ARM_PageTableObject, seL4_ARM_PageDirectoryObject, seL4_IA32_4K, \
    seL4_IA32_PageTableObject, seL4_IA32_PageDirectoryObject, \
    seL4_IA32_IOPageTableObject, seL4_CanRead, seL4_CanWrite, seL4_CanGrant, \
    seL4_AllRights, ObjectAllocator, CSpaceAllocator, seL4_FrameObject, \
    seL4_PageDirectoryObject, seL4_ARM_SectionObject, seL4_IA32_4M
from PageCollection import PageCollection, create_address_space
from util import page_table_vaddr, page_table_index, page_index, page_vaddr, \
                 page_table_coverage
{'fraction_non_alphanumeric': 0.05746176105828855, 'fraction_numerical': 0.03141794129805705, 'mean_word_length': 4.761904761904762, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '2309398', 'n_tokens_mistral': 857, 'n_tokens_neox': 818, 'n_words': 197}