Home
last modified time | relevance | path

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

/trusty/kernel/lib/trusty/
Dtrusty_app.c1261 size_t has_guard_high = 0; in alloc_address_map() local
1318 has_guard_high++; in alloc_address_map()
1430 ASSERT(has_guard_high); in alloc_address_map()
1431 ASSERT(has_guard_low == has_guard_high); in alloc_address_map()