Searched refs:biosmem (Results 1 - 2 of 2) sorted by relevance

/barrelfish-master/usr/acpi/arch/x86/
H A Dacpi_service_arch.c25 extern struct capref biosmem;
29 err = b->tx_vtbl.get_vbe_bios_cap_response(b, NOP_CONT, SYS_ERR_OK, biosmem,
H A Dacpi_arch.c34 struct capref biosmem; variable in typeref:struct:capref
93 err = frame_alloc(&biosmem, 1 << BIOS_BITS, NULL);
98 err = vspace_map_one_frame(&newbios, 1 << BIOS_BITS, biosmem,

Completed in 36 milliseconds