Home
last modified time | relevance | path

Searched refs:upper (Results 1 – 4 of 4) sorted by relevance

/hyp/core/base/templates/
A Dhypconstants.h.tmpl11 #set upper_name = $name.upper()
21 #set p = prefix + '_' + $name.upper()
30 #set typename = $d.type_name.upper()
45 #set typename = $d.type_name.upper()
47 #set name = $e.name.upper()
61 #set typename = $d.type_name.upper()
64 #set field_name = $dec.field_name.upper()
/hyp/core/cspace_twolevel/templates/
A Dhyprights.h.tmpl10 #set typename = $d.type_name.upper()
15 #set field_name = $dec.field_name.upper()
A Drights.h.tmpl10 #set typename = $d.type_name.upper()
15 #set field_name = $dec.field_name.upper()
/hyp/core/cspace_twolevel/src/
A Dcspace_twolevel.c149 index_t *upper, index_t *lower) in cspace_cap_id_to_indices() argument
156 *upper = cap_value_get_upper_index(&ret.r); in cspace_cap_id_to_indices()
157 if (compiler_expected((*upper < CSPACE_NUM_CAP_TABLES) && in cspace_cap_id_to_indices()
171 cspace_indices_to_cap_id(const cspace_t *cspace, index_t upper, index_t lower) in cspace_indices_to_cap_id() argument
176 cap_value_set_upper_index(&val, upper); in cspace_indices_to_cap_id()

Completed in 10 milliseconds