KERNEL_LOCKED_P
KASSERT(KERNEL_LOCKED_P()); /* XXXSMP ralink_usb_alldevs */
KASSERT(KERNEL_LOCKED_P()); /* XXXSMP ralink_usb_alldevs */
KASSERT(KERNEL_LOCKED_P()); /* XXXSMP ralink_usb_alldevs */
KASSERT(KERNEL_LOCKED_P()); /* XXXSMP ehci_cardbus_alldevs */
KASSERT(KERNEL_LOCKED_P()); /* XXXSMP ehci_cardbus_alldevs */
KASSERT(KERNEL_LOCKED_P()); /* XXXSMP ehci_cardbus_alldevs */
KASSERT(KERNEL_LOCKED_P());
KASSERT(KERNEL_LOCKED_P());
KASSERT(KERNEL_LOCKED_P());
KASSERT(KERNEL_LOCKED_P());
KASSERT(KERNEL_LOCKED_P());
KASSERT(KERNEL_LOCKED_P());
KASSERT(KERNEL_LOCKED_P()); /* XXXSMP ehci_pci_alldevs */
KASSERT(KERNEL_LOCKED_P());
KASSERT(KERNEL_LOCKED_P()); /* XXXSMP */
KASSERT(KERNEL_LOCKED_P()); /* XXXSMP ehci_pci_alldevs */
KASSERT(KERNEL_LOCKED_P()); /* XXXSMP ehci_pci_alldevs */
KASSERT(KERNEL_LOCKED_P()); /* sc_is_open */
KASSERT(KERNEL_LOCKED_P()); /* ugen_set_config */
KASSERT(KERNEL_LOCKED_P()); /* sc_is_open */
KASSERT(KERNEL_LOCKED_P()); /* sc_is_open */
KASSERT(KERNEL_LOCKED_P()); /* sc_is_open */
KASSERT(KERNEL_LOCKED_P()); /* ugen_do_close */
KASSERT(KERNEL_LOCKED_P());
KASSERT(KERNEL_LOCKED_P());
KASSERT(KERNEL_LOCKED_P());
KASSERT(KERNEL_LOCKED_P());
KASSERT(KERNEL_LOCKED_P());
KASSERT(KERNEL_LOCKED_P());
KASSERT(KERNEL_LOCKED_P());
KASSERT(KERNEL_LOCKED_P());
KASSERT(KERNEL_LOCKED_P());
KASSERT(KERNEL_LOCKED_P());
KASSERT(KERNEL_LOCKED_P());
KASSERT(KERNEL_LOCKED_P());
KASSERT(KERNEL_LOCKED_P());
KASSERT(KERNEL_LOCKED_P());
KASSERT(KERNEL_LOCKED_P());
KASSERT(KERNEL_LOCKED_P());
KASSERT(KERNEL_LOCKED_P());
KASSERT(KERNEL_LOCKED_P());
KASSERT(KERNEL_LOCKED_P());
KASSERT(KERNEL_LOCKED_P());
KASSERT(KERNEL_LOCKED_P());
KASSERT(KERNEL_LOCKED_P());
KASSERT(KERNEL_LOCKED_P());
KASSERT(KERNEL_LOCKED_P());