arm/common/pe_init.c

46 PE_state_t PE_state;
77             if (info) PE_state.video = *info;
84             if (info) PE_state.video = *info;
109     if (PE_state.initialized == FALSE) {
113         PE_state.initialized = TRUE;
114         PE_state.bootArgs = _args;
115         PE_state.deviceTreeHead = args->deviceTreeP;
117         PE_state.video.v_baseAddr = args->Video.v_baseAddr;
118         PE_state.video.v_rowBytes = args->Video.v_rowBytes;
119         PE_state.video.v_width = args->Video.v_width;
120         PE_state.video.v_height = args->Video.v_height;
121         PE_state.video.v_depth = args->Video.v_depth;
122         PE_state.video.v_display = args->Video.v_display;
124         strncpy(PE_state.video.v_pixelFormat, "PPPPPPPP", 8);
134         DTInit(PE_state.deviceTreeHead);
249     StartIOKit(PE_state.deviceTreeHead, PE_state.bootArgs, (void *) 0, (void *) 0);
259     *info = PE_state.video;