3162 		uint64_t rboot_pin:1;  member
3164 		uint64_t rboot_pin:1;
3203 		uint64_t rboot_pin:1;  member
3205 		uint64_t rboot_pin:1;
3234 		uint64_t rboot_pin:1;  member
3236 		uint64_t rboot_pin:1;
3265 		uint64_t rboot_pin:1;  member
3267 		uint64_t rboot_pin:1;
3299 		uint64_t rboot_pin:1;  member
3301 		uint64_t rboot_pin:1;
3328 		uint64_t rboot_pin:1;  member
3330 		uint64_t rboot_pin:1;