395 u64 vgic_sanitise_shareability(u64 field)  in vgic_sanitise_shareability()  argument
397 	switch (field) {  in vgic_sanitise_shareability()
401 		return field;  in vgic_sanitise_shareability()
406 u64 vgic_sanitise_inner_cacheability(u64 field)  in vgic_sanitise_inner_cacheability()  argument
408 	switch (field) {  in vgic_sanitise_inner_cacheability()
413 		return field;  in vgic_sanitise_inner_cacheability()
418 u64 vgic_sanitise_outer_cacheability(u64 field)  in vgic_sanitise_outer_cacheability()  argument
420 	switch (field) {  in vgic_sanitise_outer_cacheability()
423 		return field;  in vgic_sanitise_outer_cacheability()
432 	u64 field = (reg & field_mask) >> field_shift;  in vgic_sanitise_field()  local
434 	field = sanitise_fn(field) << field_shift;  in vgic_sanitise_field()
435 	return (reg & ~field_mask) | field;  in vgic_sanitise_field()