Symbol: encode_ttb_flags
sys/arm/arm/pmap-v6.c
466
ttb_flags = encode_ttb_flags(0);
sys/arm/arm/pmap-v6.c
470
ttb_flags = encode_ttb_flags(1);
sys/arm/arm/pmap-v6.c
474
ttb_flags = encode_ttb_flags(0);