def gen_idl4_defines(self):
V4Output.gen_idl4_defines(self)
# Include the __L4_SYSCALL macro
self.fromtemplate('v4_arm_biguuid/arm_ipc.template.c')
def __init__(self, options): V4Output.__init__(self, options) self.context.file.arch_string = 'arm_biguuid' self.debug = False
def __init__(self, options):
V4Output.__init__(self, options)
self.context.file.arch_string = 'arm_biguuid'
self.debug = False
def gen_idl4_defines(self):
V4Output.gen_idl4_defines(self)
# Include the __L4_SYSCALL macro
self.fromtemplate('v4_arm_biguuid/arm_ipc.template.c')
