Searched refs:rule (Results 1 - 11 of 11) sorted by path

/seL4-refos-master/apps/nethack/src/nethack-3.4.3/doc/
H A DGuidebook.tex1643 special powers when you eat them. A good rule of thumb is ``you are
2917 A `never pickup' rule takes precedence over an `always pickup' rule if both match.
/seL4-refos-master/libs/libmuslc/src/locale/
H A Ddcngettext.c196 const char *rule = "n!=1;"; local
216 rule = r+7;
220 a_cas_p(&p->plural_rule, 0, (void *)rule);
/seL4-refos-master/libs/libmuslc/src/time/
H A D__tz.c60 static void getrule(const char **p, int rule[5]) argument
62 int r = rule[0] = **p;
66 else rule[0] = 0;
67 rule[1] = getint(p);
69 ++*p; rule[1] = getint(p);
70 ++*p; rule[2] = getint(p);
71 ++*p; rule[3] = getint(p);
76 rule[4] = getoff(p);
78 rule[4] = 7200;
241 * and determine alternate opposite-DST-status rule tha
316 rule_to_secs(const int *rule, int year) argument
[all...]
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/doc/
H A DGuidebook.tex1643 special powers when you eat them. A good rule of thumb is ``you are
2917 A `never pickup' rule takes precedence over an `always pickup' rule if both match.
/seL4-refos-master/kernel/tools/hardware/outputs/
H A Dc_header.py14 from hardware.utils import memory, rule namespace
112 def get_kernel_devices(tree: fdt.FdtParser, rules: rule.HardwareYaml):
138 def get_interrupts(tree: fdt.FdtParser, rules: rule.HardwareYaml):
161 def run(tree: fdt.FdtParser, hardware: rule.HardwareYaml, config: config.Config, args: argparse.Namespace):
H A Dcompat_strings.py11 from hardware.utils import rule namespace
14 def run(tree: fdt.FdtParser, hardware: rule.HardwareYaml, config: config.Config,
H A Delfloader.py18 from hardware.utils import cpu, memory, rule namespace
143 def run(tree: fdt.FdtParser, hardware: rule.HardwareYaml, config: config.Config, args: argparse.Namespace):
H A Dyaml.py13 from hardware.utils import memory, rule namespace
16 def get_kernel_devices(tree: fdt.FdtParser, rules: rule.HardwareYaml):
21 rule = rules.get_rule(dev)
22 groups += rule.get_regions(dev)
27 def run(tree: fdt.FdtParser, hardware: rule.HardwareYaml, config: config.Config,
/seL4-refos-master/kernel/tools/hardware/utils/
H A Dmemory.py15 from hardware.utils.rule import KernelRegionGroup
H A Drule.py145 ''' Represents a single rule in hardware.yml '''
147 def __init__(self, rule: dict, config: Config):
148 self.rule = rule
150 self.interrupts = rule.get('interrupts', {})
153 for reg in rule.get('regions', []):
158 ''' Returns a list of KernelRegionGroups that this rule specifies should be mapped into the kernel for this device. '''
162 for (i, rule) in self.regions.items():
164 # XXX: skip this rule silently
168 kernel_name = rule['kerne
[all...]
/seL4-refos-master/kernel/tools/
H A Dhardware_gen.py15 from hardware.utils.rule import HardwareYaml

Completed in 91 milliseconds