bintime2timespec|bintime2timespec
bintime2timeval|bintime2timeval
bintime_add|bintime_add
bintime_addx|bintime_addx
bintime_sub|bintime_sub
bios32_init|bios32_init
bios32_service|bios32_service
bintobcd|bintobcd
bind_vcpu_to_evtch|bind_vcpu_to_evtch
bind_virq_to_evtch|bind_virq_to_evtch
bintime|bintime
binuptime|binuptime
biodone|biodone
biowait|biowait