<def f='src/src/sys/arch/xen/include/xen-public/platform.h' l='248' ll='254'/>
<size>4</size>
<mbr r='xen_processor_flags::bm_control' o='0' t='__uint32_t'/>
<mbr r='xen_processor_flags::bm_check' o='1' t='__uint32_t'/>
<mbr r='xen_processor_flags::has_cst' o='2' t='__uint32_t'/>
<mbr r='xen_processor_flags::power_setup_done' o='3' t='__uint32_t'/>
<mbr r='xen_processor_flags::bm_rld_set' o='4' t='__uint32_t'/>
