Unsupported macros/functions

[leventeBajczi]

The following builtins/macros aren't supported by theta currently:

• AWS_ERROR_OVERFLOW_DETECTED
• Char
• FILE
• IS_ERR
• MEA8000_STOPPED
• Node
• Od_IndexTable
• PTHREAD_MUTEX_ERRORCHECK
• PTHREAD_RWLOCK_INITIALIZER
• SOCK_STREAM
• SSL
• STATE_1
• STEP_CPU0_INPUT
• TAB
• TRUE
• _ISspace
• __atomic_store_n
• __builtin_alloca
• __builtin_bswap32
• __builtin_bswap64
• __builtin_expect
• __builtin_huge_val
• __builtin_inff
• __builtin_isgreater
• __builtin_isgreaterequal
• __builtin_isless
• __builtin_islessequal
• __builtin_islessgreater
• __builtin_isnan
• __builtin_isunordered
• __builtin_popcountl
• __builtin_uaddl_overflow
• __builtin_umull_overflow
• __builtin_va_start
• __hid_register_driver
• __might_sleep
• __pci_register_driver
• __read_once_size
• __sync_fetch_and_add
• __this_module
• __u8
• a
• acpi_device_name
• ad2s90_read_raw
• assert
• atoi
• autofs_mount
• bAnd
• blkmtd_device_list
• bool
• bor
• cmp
• curr
• data
• dev_get_drvdata
• dm_bm_checksum
• esas2r_log_master
• example_user_t
• false
• format
• gl_list
• i2c_smbus_read_word_swapped
• i2o_bus_class_id
• ide_dev_groups
• iminor
• init_nondet
• int64_t
• ldv_dev_get_drvdata_12
• ldv_dev_get_drvdata_38
• ldv_is_err
• local_info_t
• m
• mapavg
• mapsum
• max
• memcpy
• mutex1
• nfs_dentry_operations
• node
• node_t
• nvram_init
• p
• parport_info_t
• pc8736x_gpio_init
• pi
• pppox_protos
• printLine
• pthread_mutex_t
• pthread_t
• ptr
• readl
• relpath
• rtl28xxu_probe
• sep
• sl
• smp_send_req
• spinlock_t
• strcpy
• tree
• true
• twoIntsStruct
• u64
• u8
• u_char
• uint
• uint16_t
• usb_serial_probe
• xor