ofw_bios_entry     32 arch/x86/platform/olpc/olpc-xo1-pm.c } ofw_bios_entry = { 0xF0000 + PAGE_OFFSET, __KERNEL_CS };
ofw_bios_entry     83 arch/x86/platform/olpc/olpc-xo1-pm.c 		: : "D" (&ofw_bios_entry));